Stories tagged as ml – MetaLanguage, OCaml programming
  1. 7
    Learn Standard ML in Y Minutes ml learnxinyminutes.com
    kaveman avatar via kaveman 11 months ago | cached | 3 comments
  2. 38
    Full text of "ML for the Working Programmer" now online! ml cl.cam.ac.uk
    sergeyb avatar via sergeyb 11 months ago | cached | 8 comments
  3. 7
    Resource Aware ML ml raml.co
    sanxiyn avatar via sanxiyn 11 months ago | cached | no comments
  4. 6
    A self-amending cryptographic ledger built in OCaml cryptocurrencies formalmethods ml git.io
    ao avatar via ao 11 months ago | cached | 5 comments
  5. 5
    Learning to Blame: Localizing Novice Type Errors with Data-Driven Diagnosis ☶ pdf ai ml arxiv.org
    lojikil avatar via lojikil 12 months ago | cached | no comments
  6. 38
    OCaml for the impatient ml adambard.com
    bsima avatar via bsima 1 year ago | cached | 24 comments
  7. 3
    Designing a Tree Diff Algorithm Using Dynamic Programming and A* compsci ml thume.ca
    pushcx avatar via pushcx 1 year ago | cached | no comments
  8. 57
    What next? ml programming graydon2.dreamwidth.org
    zxtx avatar via zxtx 1 year ago | cached | no comments
  9. 14
    Eff Directly in Ocaml (2017) ☶ pdf compsci ml kcsrk.info
    nickpsecurity avatar via nickpsecurity 1 year ago | cached | 7 comments
  10. 11
    A Deep Dive into Multicore Ocaml's GC slides ml kcsrk.info
    nickpsecurity avatar via nickpsecurity 1 year ago | cached | no comments
  11. 13
    DynamicML - A Dynamically-Typed Version of SML/NJ (2012) compilers compsci ml programming zerny.dk
    nickpsecurity avatar via nickpsecurity 1 year ago | cached | 4 comments
  12. 12
    Runtime typing and eval in Alice ML ml programming bluishcoder.co.nz
    doublec avatar authored by doublec 1 year ago | cached | 11 comments
  13. 9
    Macros as Multi-Stage Computations - Type-Safe, Generative, Binding Macros in MacroML (2001) pdf compilers compsci formalmethods ml cs.rice.edu
    nickpsecurity avatar via nickpsecurity 1 year ago | cached | 4 comments
  14. 11
    The Mythryl Foundation ☶ compilers ml mythryl.org
    trn avatar via trn 1 year ago | cached | 1 comment
  15. 10
    A minimal introduction to unicode ☶ ml programming erratique.ch
    c-cube avatar via c-cube 1 year ago | cached | 1 comment
  16. 18
    Prose: A new collaborative text editor (a la Etherpad), in OCaml ☶ ml release gitlab.com
    zem avatar via zem 1 year ago | cached | 3 comments
  17. 13
    Why OCaml video ml youtube.com
    pushcx avatar via pushcx 1 year ago | cached | 2 comments
  18. 2
    Modules Matter Most (2011) education haskell ml programming existentialtype.wordpress.com
    kartik avatar via kartik 1 year ago | cached | no comments
  19. 5
    ALEXANDRIA: Large-Scale Formal Proof for the Working Mathematician ☶ compsci formalmethods math ml cl.cam.ac.uk
    c-cube avatar via c-cube 1 year ago | cached | 3 comments
  20. 14
    What is the type of eval? lisp ml lambda-the-ultimate.org
    bsima avatar via bsima 1 year ago | cached | no comments
  21. 2
    Snabela 1.0: Logic-less @templates@ ml programming release blog.appliedcompscilab.com
    apy avatar authored by apy 1 year ago | cached | no comments
  22. 9
    Interfacing Fortran with OCaml fortran ml lambda-diode.com
    zem avatar via zem 1 year ago | cached | 1 comment
  23. 6
    Queen: a JavaScript ES6 language with OCaml's pattern matching and first class functions compilers javascript ml release github.com
    pushcx avatar via pushcx 1 year ago | cached | 2 comments
  24. 17
    An in-memory datalog implementation for OCaml ml release github.com
    pushcx avatar via pushcx 1 year ago | cached | 6 comments
  25. 27
    erythrina is a port of dmenu to OCaml ☶ ml github.com
    technomancy avatar authored by technomancy 1 year ago | cached | 1 comment
<< Page 3 | Page 5 >>