Stories tagged as ml – MetaLanguage, OCaml programming
  1. 9
    Refinement Types in ML (1991) pdf compilers compsci ml programming cs.cmu.edu
    nickpsecurity avatar via nickpsecurity 7 months ago | cached | 2 comments
  2. 10
    Making a cross-platform mobile game in Reason/OCaml games javascript ml jaredforsyth.com
    kevinSuttle avatar via kevinSuttle 7 months ago | cached | 3 comments
  3. 28
    ML For The Working Programmer, 2nd ed. ☶ pdf book ml cl.cam.ac.uk
    pushcx avatar via pushcx 7 months ago | cached | 13 comments
  4. 7
    Why I got hooked on F# dotnet ml devonburriss.me
    voronoipotato avatar via voronoipotato 7 months ago | cached | no comments
  5. 6
    A chess-themed bucklescript/TEA tutorial. ml web quernd.github.io
    zem avatar via zem 8 months ago | cached | no comments
  6. 14
    Reflecting on F# in 2017 dotnet ml medium.com
    calvin avatar via calvin 8 months ago | cached | no comments
  7. 4
    Announcing the SAFE stack dotnet ml compositional-it.com
    voronoipotato avatar via voronoipotato 8 months ago | cached | no comments
  8. 4
    WTF# ☶ audio dotnet ml wtfsharp.net
    voronoipotato avatar via voronoipotato 8 months ago | cached | no comments
  9. 17
    Interview of Xavier Leroy ­— POPL 18 compilers compsci ml person cs.cmu.edu
    c-cube avatar via c-cube 8 months ago | cached | 2 comments
  10. 9
    People of Programming Languages: Interviews With PL Researchers ☶ formalmethods ml plt cs.cmu.edu
    seako avatar via seako 8 months ago | cached | no comments
  11. 9
    Bloom Filter Sort (bfsort) compsci ml blog.stermon.com
    calvin avatar via calvin 8 months ago | cached | 8 comments
  12. 1
    JavaScript à la ML javascript ml medium.com
    calvin avatar via calvin 8 months ago | cached | 2 comments
  13. 12
    SML on Stilts ml programming web github.com
    nickpsecurity avatar via nickpsecurity 8 months ago | cached | 4 comments
  14. 5
    Type-Safe GraphQL with OCaml ml andreas.github.io
    stephenjudkins avatar via stephenjudkins 9 months ago | cached | no comments
  15. 3
    FSharp Weekly #48 - Domain Modeling Made Functional dotnet ml sergeytihon.com
    voronoipotato avatar via voronoipotato 9 months ago | cached | no comments
  16. 10
    1ML - core and modules united compilers ml release people.mpi-sws.org
    pushcx avatar via pushcx 9 months ago | cached | 1 comment
  17. 11
    Gerard Huet Reflects On The History Of Theorem Provers ☶ compsci formalmethods lisp math ml 50ans.inria.fr
    seako avatar via seako 9 months ago | cached | no comments
  18. 6
    A bug-fix 12 years in the making debugging ml windows dra27.uk
    calvin avatar via calvin 9 months ago | cached | 1 comment
  19. 15
    F*: A Higher-Order Effectful Language Designed for Program Verification ml release fstar-lang.org
    pushcx avatar via pushcx 10 months ago | cached | 2 comments
  20. 11
    fez an Fsharp to core Erlang compiler dotnet erlang ml github.com
    julienXX avatar via julienXX 10 months ago | cached | 2 comments
  21. 9
    F# introduction for my coworkers dotnet ml simendsjo.me
    calvin avatar via calvin 10 months ago | cached | no comments
  22. 13
    Coq Ltac 101 formalmethods ml lthms.xyz
    lthms avatar authored by lthms 10 months ago | cached | 2 comments
  23. 7
    Scalable and serverless media processing using BuckleScript/OCaml and AWS Lambda/API Gateway javascript ml nodejs scaling medium.com
    toots avatar authored by toots 10 months ago | cached | no comments
  24. 12
    Having an Effect ☶ compsci haskell ml okmij.org
    minimax avatar via minimax 11 months ago | cached | no comments
  25. 8
    BuckleScript: backend for the OCaml compiler which emits JavaScript. javascript ml bucklescript.github.io
    unbalancedparentheses avatar via unbalancedparentheses 11 months ago | cached | 1 comment
<< Page 2 | Page 4 >>