1. 9
    Catch me if you can pdf ml hal.inria.fr
    copy avatar via copy 1 month ago | cached | 2 comments
  2. 15
    Can F* replace Haskell and Coq? formalmethods ml plt cryptulf.com
    copy avatar via copy 7 months ago | cached | no comments
  3. 23
    A proposal for a resource-management model for OCaml pdf ml plt hal.inria.fr
    copy avatar via copy 9 months ago | cached | 4 comments
  4. 17
    Type-Driven Development in Idris — Edwin Brady video programming youtube.com
    copy avatar via copy 2 years ago | cached | 13 comments
  5. 30
    Exposing high-end poker cheating devices security elie.net
    copy avatar via copy 2 years ago | cached | 18 comments
  6. 8
    Bringin algebraic effects and handlers to OCaml video ml youtube.com
    copy avatar via copy 2 years ago | cached | no comments