1. 33
    Types, and why you should care video ml recurse.com
    davidbalbert avatar via davidbalbert 3 months ago | cached | 10 comments
  2. 23
    A proposal for a resource-management model for OCaml pdf ml plt hal.inria.fr
    copy avatar via copy 3 months ago | cached | 4 comments
  3. 8
    Amulet's New Type Checker compilers haskell ml hydraz.semi.works
    hydraz avatar authored by hydraz 3 months ago | cached | 7 comments
  4. 10
    Type Inference by Solving Constraints dotnet ml plt calebh.io
    calvin avatar via calvin 3 months ago | cached | no comments
  5. 3
    Effective ML - Yaron Minsky (2010) video ml programming youtube.com
    dbremner avatar via dbremner 4 months ago | cached | no comments
  6. 3
    Type-Safe Access to Key-Value Stores from a Functional Language (2016) ☶ pdf compilers databases ml plt jstage.jst.go.jp
    nickpsecurity avatar via nickpsecurity 4 months ago | cached | no comments
  7. 15
    MLton release 20180207 ml mlton.org
    kaveman avatar via kaveman 4 months ago | cached | 1 comment
  8. 1
    WTF# is concurrency ☶ audio dotnet ml wtfsharp.net
    voronoipotato avatar via voronoipotato 4 months ago | cached | no comments
  9. 6
    Lenses via modular implicits ml jobjo.github.io
    puffnfresh avatar via puffnfresh 4 months ago | cached | 1 comment
  10. 15
    Implicit functors ml plt jobjo.github.io
    brendan avatar via brendan 4 months ago | cached | 3 comments
  11. 22
    GADTs: Wizardry for a Typesafe Age ml dttw.tech
    allenguo avatar via allenguo 4 months ago | cached | no comments
  12. 5
    Certified Development Tools Implementation in Objective Caml (2008) pdf ml pdfs.semanticscholar.org
    nickpsecurity avatar via nickpsecurity 4 months ago | cached | no comments
  13. 9
    Refinement Types in ML (1991) pdf compilers compsci ml programming cs.cmu.edu
    nickpsecurity avatar via nickpsecurity 5 months ago | cached | 2 comments
  14. 10
    Making a cross-platform mobile game in Reason/OCaml games javascript ml jaredforsyth.com
    kevinSuttle avatar via kevinSuttle 5 months ago | cached | 3 comments
  15. 28
    ML For The Working Programmer, 2nd ed. ☶ pdf book ml cl.cam.ac.uk
    pushcx avatar via pushcx 5 months ago | cached | 13 comments
  16. 7
    Why I got hooked on F# dotnet ml devonburriss.me
    voronoipotato avatar via voronoipotato 5 months ago | cached | no comments
  17. 6
    A chess-themed bucklescript/TEA tutorial. ml web quernd.github.io
    zem avatar via zem 6 months ago | cached | no comments
  18. 14
    Reflecting on F# in 2017 dotnet ml medium.com
    calvin avatar via calvin 6 months ago | cached | no comments
  19. 4
    Announcing the SAFE stack dotnet ml compositional-it.com
    voronoipotato avatar via voronoipotato 6 months ago | cached | no comments
  20. 4
    WTF# ☶ audio dotnet ml wtfsharp.net
    voronoipotato avatar via voronoipotato 6 months ago | cached | no comments
  21. 17
    Interview of Xavier Leroy ­— POPL 18 compilers compsci ml person cs.cmu.edu
    c-cube avatar via c-cube 6 months ago | cached | 2 comments
  22. 9
    People of Programming Languages: Interviews With PL Researchers ☶ formalmethods ml plt cs.cmu.edu
    seako avatar via seako 6 months ago | cached | no comments
  23. 9
    Bloom Filter Sort (bfsort) compsci ml blog.stermon.com
    calvin avatar via calvin 6 months ago | cached | 8 comments
  24. 1
    JavaScript à la ML javascript ml medium.com
    calvin avatar via calvin 6 months ago | cached | 2 comments
  25. 12
    SML on Stilts ml programming web github.com
    nickpsecurity avatar via nickpsecurity 6 months ago | cached | 4 comments
<< Page 1 | Page 3 >>