Newest stories submitted by copy.

  1. 10
    A history of Modula-2 and Oberon (2007) ☶ video historical plt dl.acm.org
    copy avatar via copy 2 years ago |
    Archive.org Archive.today Ghostarchive
    | 2 comments
  2. 23
    A look back on OCaml since 2011 ml ocamlpro.com
    copy avatar via copy 3 years ago |
    Archive.org Archive.today Ghostarchive
    | 5 comments
  3. 3
    Improve object system ☶ ml plt satire github.com
    copy avatar via copy 3 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  4. 9
    Catch me if you can pdf ml hal.inria.fr
    copy avatar via copy 4 years ago |
    Archive.org Archive.today Ghostarchive
    | 2 comments
  5. 15
    Can F* replace Haskell and Coq? formalmethods ml plt cryptulf.com
    copy avatar via copy 4 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  6. 23
    A proposal for a resource-management model for OCaml pdf ml plt hal.inria.fr
    copy avatar via copy 4 years ago |
    Archive.org Archive.today Ghostarchive
    | 4 comments
  7. 17
    Type-Driven Development in Idris — Edwin Brady video programming youtube.com
    copy avatar via copy 6 years ago |
    Archive.org Archive.today Ghostarchive
    | 13 comments
  8. 30
    Exposing high-end poker cheating devices security elie.net
    copy avatar via copy 6 years ago |
    Archive.org Archive.today Ghostarchive
    | 18 comments
  9. 8
    Bringin algebraic effects and handlers to OCaml video ml youtube.com
    copy avatar via copy 6 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments