Stories tagged as ml – MetaLanguage, OCaml programming
  1. 6
    Malfunctional Programming ☶ pdf compilers ml cl.cam.ac.uk
    dwc avatar via dwc 2 years ago | cached | no comments
  2. 12
    Dynamic Witnesses for Static Type Errors pdf compilers haskell ml eric.seidel.io
    apy avatar via apy 2 years ago | cached | no comments
  3. 3
    Lock-free programming for the masses ml programming kcsrk.info
    dwc avatar via dwc 2 years ago | cached | 1 comment
  4. 3
    Set-Theoretic Types for Polymorphic Variants compsci ml arxiv.org
    dwc avatar via dwc 2 years ago | cached | no comments
  5. 4
    Parallel Algorithmic Differentiation for OCaml ☶ video ml youtube.com
    dwc avatar via dwc 2 years ago | cached | no comments
  6. 25
    Measuring GC latencies in Haskell, OCaml, Racket haskell lisp ml prl.ccs.neu.edu
    unbalancedparentheses avatar via unbalancedparentheses 2 years ago | cached | no comments
  7. 1
    Developing micro-webservices with webmachine ml programming michipili.github.io
    dwc avatar via dwc 2 years ago | cached | no comments
  8. 23
    Compiling a Functional Language ☶ pdf compilers ml lucacardelli.name
    lojikil avatar via lojikil 2 years ago | cached | no comments
  9. 1
    Faustine: a Vector Faust Interpreter Test Bed for Multimedia Signal Processing ☶ pdf ml cri.ensmp.fr
    julienXX avatar via julienXX 2 years ago | cached | no comments
  10. 5
    Make Apple TV Apps in OCaml ☶ javascript ml github.com
    dwc avatar via dwc 2 years ago | cached | no comments
  11. 51
    Reason - a new interface to OCaml ml programming facebook.github.io
    algernon avatar via algernon 2 years ago | cached | 19 comments
  12. 7
    Seven Implementations of Incremental ☶ video ml youtube.com
    dwc avatar via dwc 2 years ago | cached | no comments
  13. 56
    Elm - A Farewell to FRP elm javascript ml programming elm-lang.org
    bogdan avatar via bogdan 2 years ago | cached | 4 comments
  14. 4
    Maki: on-disk memoization for (deterministic) fun and profit ml cedeela.fr
    dwc avatar via dwc 2 years ago | cached | 1 comment
  15. 15
    OCaml 4.03 Released ☶ ml release sympa.inria.fr
    dwc avatar via dwc 2 years ago | cached | no comments
  16. 5
    Authenticated Data Structures, as a Library, for Free! ml security bentnib.org
    apy avatar via apy 2 years ago | cached | 2 comments
  17. 8
    OCaml in Operations devops ml michipili.github.io
    dwc avatar via dwc 2 years ago | cached | 3 comments
  18. 15
    tis-interpreter: an interpreter of C for detecting undefined behavior c ml github.com
    dwc avatar via dwc 2 years ago | cached | 2 comments
  19. 13
    ASM.OCaml assembly ml ocamlpro.com
    julienXX avatar via julienXX 2 years ago | cached | 2 comments
  20. 5
    pds - toml & makefile based build tool for Ocaml ☶ show ml release bitbucket.org
    apy avatar authored by apy 2 years ago | cached | 1 comment
  21. 14
    An OCaml Adoption Manifesto ☶ ml github.com
    dwc avatar via dwc 2 years ago | cached | 7 comments
  22. 1
    Composing Network Operating Systems video ml youtube.com
    mightybyte avatar authored by mightybyte 2 years ago | cached | no comments
  23. 13
    BuckleScript - A JavaScript Backend For the OCaml Compiler compilers javascript ml bloomberg.github.io
    craigstuntz avatar via craigstuntz 2 years ago | cached | no comments
  24. 6
    Type-safe C bindings using ocaml-ctypes and stub generation ml programming simonjbeaumont.com
    zem avatar via zem 2 years ago | cached | 1 comment
  25. 9
    [Survey] Functional Programming Paradigm ☶ compsci haskell ml programming scala goo.gl
    gragtah avatar authored by gragtah 2 years ago | cached | 8 comments
<< Page 7 | Page 9 >>