Stories tagged as ml – MetaLanguage, OCaml programming
  1. 7
    Alms - Sound, ML-like Language with Affine Types (2011) compsci ml programming users.eecs.northwestern.edu
    nickpsecurity avatar via nickpsecurity 1 year ago | cached | no comments
  2. 5
    UNIX System Programming with Standard ML (2001) pdf ml programming unix mlton.org
    nickpsecurity avatar via nickpsecurity 1 year ago | cached | 1 comment
  3. 19
    Elm Roadmap FAQ elm ml web github.com
    zem avatar via zem 1 year ago | cached | 4 comments
  4. 11
    Using Property-Based Testing on DHCP Library ml programming testing somerandomidiot.com
    nickpsecurity avatar via nickpsecurity 1 year ago | cached | 2 comments
  5. 6
    Type-driven generation of RESTful API bindings in OCaml ml medium.com
    julienXX avatar via julienXX 1 year ago | cached | no comments
  6. 8
    Stream Processing with Coroutines (from C to OCaml) video c ml pusher.com
    rizo avatar authored by rizo 1 year ago | cached | no comments
  7. 7
    A C# Developer’s Guide to F# dotnet ml connelhooley.uk
    calvin avatar via calvin 1 year ago | cached | no comments
  8. 5
    Manticore - Concurrent, Parallel, ML-like Language for Multicore ☶ ml programming manticore.cs.uchicago.edu
    nickpsecurity avatar via nickpsecurity 1 year ago | cached | 2 comments
  9. 2
    NESL - A Nested, Data-Parallel, Programming Language (1990's) ml programming cs.cmu.edu
    nickpsecurity avatar via nickpsecurity 1 year ago | cached | no comments
  10. 4
    Opis: Reliable, Distributed Systems in Ocaml (2009) ☶ pdf distributed ml programming lara.epfl.ch
    nickpsecurity avatar via nickpsecurity 1 year ago | cached | no comments
  11. 2
    JSCaml: A compile-time transformation from JavaScript to OCaml compilers javascript ml github.com
    rizo avatar via rizo 1 year ago | cached | no comments
  12. 2
    Finally: pattern matching (2014) historical ml programming trevorjim.com
    andyc avatar via andyc 1 year ago | cached | no comments
  13. 12
    Algebraic Subtyping ☶ pdf ml cl.cam.ac.uk
    lojikil avatar via lojikil 1 year ago | cached | 2 comments
  14. 18
    Typestate-oriented programming in F* ml programming olleharstedt.github.io
    doublec avatar via doublec 1 year ago | cached | no comments
  15. 20
    Announcing MirageOS 3.0.0 ml release virtualization mirage.io
    jcs avatar via jcs 1 year ago | cached | 1 comment
  16. 2
    Tezos: A self-amending cryptographic ledger cryptocurrencies ml github.com
    davyjones avatar via davyjones 1 year ago | cached | no comments
  17. 13
    You’re better off using Exceptions dotnet ml eiriktsarpalis.wordpress.com
    calvin avatar via calvin 1 year ago | cached | 9 comments
  18. 13
    Patoline — A modern digital typesetting system design graphics ml programming patoline.org
    Leonidas avatar via Leonidas 1 year ago | cached | 6 comments
  19. 5
    Tutorial on join calculus and JoCaml book ml sites.google.com
    etc avatar via etc 1 year ago | cached | 3 comments
  20. 4
    on the multistroke gesture recognizer javascript ml erratique.ch
    DrM avatar via DrM 1 year ago | cached | no comments
  21. 18
    BuckleScript: a significant new OCaml to JavaScript compiler compilers javascript ml yawar.blogspot.com
    sanxiyn avatar via sanxiyn 1 year ago | cached | 5 comments
  22. 3
    How I cheated at Wordament, and won dotnet games ml blog.martindoms.com
    calvin avatar via calvin 1 year ago | cached | no comments
  23. 11
    Playing Around With Program and Dependent Types ☶ ml leth.io
    lthms avatar authored by lthms 1 year ago | cached | 4 comments
  24. 11
    A brief trip through Spacetime debugging ml blogs.janestreet.com
    dwc avatar via dwc 1 year ago | cached | 1 comment
  25. 2
    Writing a Lisp, the series lisp ml programming bernsteinbear.com
    calvin avatar via calvin 1 year ago | cached | no comments
<< Page 4 | Page 6 >>