Stories tagged as ml – MetaLanguage, OCaml programming
  1. 3
    Trace-based Verification of Imperative Programs with I/O (2010) ☶ pdf formalmethods ml web gmalecha.github.io
    nickpsecurity avatar via nickpsecurity 4 months ago | cached | no comments
  2. 56
    Gui development is broken graphics ml charlesetc.com
    etc avatar authored by etc 4 months ago | cached | 56 comments
  3. 5
    Type-and-Example-Directed Program Synthesis (2015) ☶ pdf compsci formalmethods ml cis.upenn.edu
    nickpsecurity avatar via nickpsecurity 4 months ago | cached | 2 comments
  4. 24
    Notes on Idris (late 2017) ☶ haskell ml thebreakfastpost.com
    kghose avatar via kghose 4 months ago | cached | 8 comments
  5. 6
    Effective Programming: Adding an Effect System to OCaml video ml plt programming youtube.com
    brendan avatar via brendan 4 months ago | cached | no comments
  6. 12
    Formal Specification, Verification, and Implementation of Fault-Tolerant Systems (2015) ☶ pdf distributed formalmethods ml pdfs.semanticscholar.org
    nickpsecurity avatar via nickpsecurity 5 months ago | cached | no comments
  7. 11
    GADTs and Amulet compilers ml plt hydraz.semi.works
    hydraz avatar authored by hydraz 5 months ago | cached | 1 comment
  8. 23
    Jane Street Open Source ml opensource.janestreet.com
    unbalancedparentheses avatar via unbalancedparentheses 5 months ago | cached | 2 comments
  9. 7
    Types and Indeterminates ml plt boxbase.org
    HenriTuhola avatar authored by HenriTuhola 5 months ago | cached | 2 comments
  10. 6
    Olmar: Manipulating C and C++ abstract syntax trees in Ocaml (2007) ☶ pdf c c++ compilers ml citeseerx.ist.psu.edu
    nickpsecurity avatar via nickpsecurity 5 months ago | cached | no comments
  11. 17
    Resource Polymorphism (Rust-style resource management in OCaml) ☶ ml arxiv.org
    pfmaggi avatar via pfmaggi 5 months ago | cached | 3 comments
  12. 3
    A Toolchain for Verified, Ocaml Programs ☶ pdf formalmethods ml cs.ru.nl
    nickpsecurity avatar via nickpsecurity 5 months ago | cached | no comments
  13. 13
    You Might Not Need The Virtual DOM ml web blog.functorial.com
    mcheely avatar via mcheely 5 months ago | cached | 2 comments
  14. 33
    Types, and why you should care video ml recurse.com
    davidbalbert avatar via davidbalbert 5 months ago | cached | 10 comments
  15. 23
    A proposal for a resource-management model for OCaml pdf ml plt hal.inria.fr
    copy avatar via copy 5 months ago | cached | 4 comments
  16. 8
    Amulet's New Type Checker compilers haskell ml hydraz.semi.works
    hydraz avatar authored by hydraz 5 months ago | cached | 7 comments
  17. 10
    Type Inference by Solving Constraints dotnet ml plt calebh.io
    calvin avatar via calvin 5 months ago | cached | no comments
  18. 3
    Effective ML - Yaron Minsky (2010) video ml programming youtube.com
    dbremner avatar via dbremner 6 months ago | cached | no comments
  19. 3
    Type-Safe Access to Key-Value Stores from a Functional Language (2016) ☶ pdf compilers databases ml plt jstage.jst.go.jp
    nickpsecurity avatar via nickpsecurity 6 months ago | cached | no comments
  20. 15
    MLton release 20180207 ml mlton.org
    kaveman avatar via kaveman 6 months ago | cached | 1 comment
  21. 1
    WTF# is concurrency ☶ audio dotnet ml wtfsharp.net
    voronoipotato avatar via voronoipotato 6 months ago | cached | no comments
  22. 6
    Lenses via modular implicits ml jobjo.github.io
    puffnfresh avatar via puffnfresh 6 months ago | cached | 1 comment
  23. 15
    Implicit functors ml plt jobjo.github.io
    brendan avatar via brendan 6 months ago | cached | 3 comments
  24. 22
    GADTs: Wizardry for a Typesafe Age ml dttw.tech
    allenguo avatar via allenguo 6 months ago | cached | no comments
  25. 5
    Certified Development Tools Implementation in Objective Caml (2008) pdf ml pdfs.semanticscholar.org
    nickpsecurity avatar via nickpsecurity 7 months ago | cached | no comments
<< Page 1 | Page 3 >>