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