Stories tagged as ml – MetaLanguage, OCaml programming
  1. 24
    Dune 1.0.0, the long awaited OCaml build tool, has been released ml release discuss.ocaml.org
    DrM avatar via DrM 5 months ago | cached | 1 comment
  2. 26
    Monads Made Simple compilers compsci ml plt mpc.sh
    mpcsh avatar authored by mpcsh 5 months ago | cached | 26 comments
  3. 1
    Given a satellite image, machine learning creates the view on the ground ml technologyreview.com
    Yogthos avatar via Yogthos 5 months ago | cached | no comments
  4. 12
    Systems Languages: An Experience Report c go ml plt rust blog.usejournal.com
    eterps avatar via eterps 5 months ago | cached | 22 comments
  5. 4
    RxCML: Migrating MultiMLton to the Cloud (2014) ☶ pdf distributed ml multimlton.cs.purdue.edu
    nickpsecurity avatar via nickpsecurity 5 months ago | cached | no comments
  6. 4
    Meet Clojure MXNet - NDArray clojure ml gigasquidsoftware.com
    Yogthos avatar via Yogthos 5 months ago | cached | no comments
  7. 26
    Functional Data Structures book ml cs.uwaterloo.ca
    pushcx avatar via pushcx 6 months ago | cached | 1 comment
  8. 29
    A Gentle Intro to PLT (Programming Language Theory) compilers compsci ml plt mpc.sh
    mpcsh avatar authored by mpcsh 6 months ago | cached | 9 comments
  9. 11
    MultiMLton: Standard ML Compiler for Scalable, Multicore Platforms (2014) compilers ml performance multimlton.cs.purdue.edu
    nickpsecurity avatar via nickpsecurity 6 months ago | cached | no comments
  10. 6
    Compiling with Continuations and LLVM (2016) ☶ pdf compilers ml manticore.cs.uchicago.edu
    nickpsecurity avatar via nickpsecurity 6 months ago | cached | no comments
  11. 9
    Static access control using phantom types ml plt security blog.janestreet.com
    nickpsecurity avatar via nickpsecurity 6 months ago | cached | no comments
  12. 30
    Interim: Low-level Lisp with compile-time memory management lisp ml github.com
    sebboh avatar via sebboh 6 months ago | cached | 13 comments
  13. 14
    Ponyo: Library and Toolkit for Standard ML ml ponyo.org
    sanxiyn avatar via sanxiyn 6 months ago | cached | no comments
  14. 2
    Flyspeck Project Fact Sheet ml github.com
    sebboh avatar via sebboh 6 months ago | cached | 2 comments
  15. 15
    Can F* replace Haskell and Coq? formalmethods ml plt cryptulf.com
    copy avatar via copy 7 months ago | cached | no comments
  16. 6
    Lightweight Monadic Programming in ML (2011) ☶ pdf compilers ml cs.umd.edu
    nickpsecurity avatar via nickpsecurity 7 months ago | cached | no comments
  17. 4
    Bidirectional Certified Programming (2017) ☶ pdf formalmethods ml ceur-ws.org
    nickpsecurity avatar via nickpsecurity 7 months ago | cached | no comments
  18. 9
    Polymorphism and its limitations ml plt caml.inria.fr
    Leonidas avatar via Leonidas 7 months ago | cached | no comments
  19. 3
    Trace-based Verification of Imperative Programs with I/O (2010) ☶ pdf formalmethods ml web gmalecha.github.io
    nickpsecurity avatar via nickpsecurity 7 months ago | cached | no comments
  20. 56
    Gui development is broken graphics ml charlesetc.com
    etc avatar authored by etc 8 months ago | cached | 56 comments
  21. 5
    Type-and-Example-Directed Program Synthesis (2015) ☶ pdf compsci formalmethods ml cis.upenn.edu
    nickpsecurity avatar via nickpsecurity 8 months ago | cached | 2 comments
  22. 25
    Notes on Idris (late 2017) ☶ haskell ml thebreakfastpost.com
    kghose avatar via kghose 8 months ago | cached | 8 comments
  23. 6
    Effective Programming: Adding an Effect System to OCaml video ml plt programming youtube.com
    brendan avatar via brendan 8 months ago | cached | no comments
  24. 12
    Formal Specification, Verification, and Implementation of Fault-Tolerant Systems (2015) ☶ pdf distributed formalmethods ml pdfs.semanticscholar.org
    nickpsecurity avatar via nickpsecurity 8 months ago | cached | no comments
  25. 11
    GADTs and Amulet compilers ml plt hydraz.semi.works
    hydraz avatar authored by hydraz 8 months ago | cached | 1 comment
<< Page 1 | Page 3 >>