Stories tagged as ml – MetaLanguage, OCaml programming
  1. 13
    Introduction to OCaml, part 5: exceptions, lists, and structural recursion ml programming blog.baturin.org
    dmbaturin avatar authored by dmbaturin 8 days ago | cached | no comments
  2. 14
    Introduction to OCaml, part 4: higher order functions, parametric polymorphism and algebraic data types ml programming blog.baturin.org
    dmbaturin avatar authored by dmbaturin 14 days ago | cached | no comments
  3. 54
    Introduction to OCaml ml programming blog.baturin.org
    dmbaturin avatar authored by dmbaturin 17 days ago | cached | 6 comments
  4. 22
    Natively run OCaml from Rust ml rust blog.s-m.ac
    eterps avatar via eterps 1 month ago | cached | 6 comments
  5. 2
    Computation Graph — Owl Numerical Library documentation math ml ocaml.xyz
    DrM avatar via DrM 1 month ago | cached | no comments
  6. 19
    Unix system programming in OCaml book ml unix ocaml.github.io
    ScriptDevil avatar via ScriptDevil 1 month ago | cached | 6 comments
  7. 5
    OCaml 4.07.0 released ml release ocaml.org
    DrM avatar via DrM 1 month ago | cached | 1 comment
  8. 24
    Dune 1.0.0, the long awaited OCaml build tool, has been released ml release discuss.ocaml.org
    DrM avatar via DrM 1 month ago | cached | 1 comment
  9. 26
    Monads Made Simple compilers compsci ml plt mpc.sh
    mpcsh avatar authored by mpcsh 1 month ago | cached | 26 comments
  10. 1
    Given a satellite image, machine learning creates the view on the ground ml technologyreview.com
    Yogthos avatar via Yogthos 1 month ago | cached | no comments
  11. 12
    Systems Languages: An Experience Report c go ml plt rust blog.usejournal.com
    eterps avatar via eterps 1 month ago | cached | 22 comments
  12. 4
    RxCML: Migrating MultiMLton to the Cloud (2014) ☶ pdf distributed ml multimlton.cs.purdue.edu
    nickpsecurity avatar via nickpsecurity 1 month ago | cached | no comments
  13. 4
    Meet Clojure MXNet - NDArray clojure ml gigasquidsoftware.com
    Yogthos avatar via Yogthos 1 month ago | cached | no comments
  14. 26
    Functional Data Structures book ml cs.uwaterloo.ca
    pushcx avatar via pushcx 2 months ago | cached | 1 comment
  15. 29
    A Gentle Intro to PLT (Programming Language Theory) compilers compsci ml plt mpc.sh
    mpcsh avatar authored by mpcsh 2 months ago | cached | 9 comments
  16. 11
    MultiMLton: Standard ML Compiler for Scalable, Multicore Platforms (2014) compilers ml performance multimlton.cs.purdue.edu
    nickpsecurity avatar via nickpsecurity 2 months ago | cached | no comments
  17. 6
    Compiling with Continuations and LLVM (2016) ☶ pdf compilers ml manticore.cs.uchicago.edu
    nickpsecurity avatar via nickpsecurity 2 months ago | cached | no comments
  18. 9
    Static access control using phantom types ml plt security blog.janestreet.com
    nickpsecurity avatar via nickpsecurity 2 months ago | cached | no comments
  19. 30
    Interim: Low-level Lisp with compile-time memory management lisp ml github.com
    sebboh avatar via sebboh 2 months ago | cached | 13 comments
  20. 14
    Ponyo: Library and Toolkit for Standard ML ml ponyo.org
    sanxiyn avatar via sanxiyn 3 months ago | cached | no comments
  21. 2
    Flyspeck Project Fact Sheet ml github.com
    sebboh avatar via sebboh 3 months ago | cached | 2 comments
  22. 15
    Can F* replace Haskell and Coq? formalmethods ml plt cryptulf.com
    copy avatar via copy 3 months ago | cached | no comments
  23. 6
    Lightweight Monadic Programming in ML (2011) ☶ pdf compilers ml cs.umd.edu
    nickpsecurity avatar via nickpsecurity 3 months ago | cached | no comments
  24. 4
    Bidirectional Certified Programming (2017) ☶ pdf formalmethods ml ceur-ws.org
    nickpsecurity avatar via nickpsecurity 3 months ago | cached | no comments
  25. 9
    Polymorphism and its limitations ml plt caml.inria.fr
    Leonidas avatar via Leonidas 4 months ago | cached | no comments
Page 2 >>