Stories tagged as ml – MetaLanguage, OCaml programming

Tip: read stories across multiple tags with /t/tag1,tag2

  1. 8
    Typed Type-Level Computation in Amulet ml plt hydraz.semi.works
    hydraz avatar authored by hydraz 16 days ago | cached | no comments
  2. 3
    The OCaml Software Foundation ml discuss.ocaml.org
    zem avatar via zem 16 days ago | cached | no comments
  3. 34
    The Unison language ml plt unisonweb.org
    tomb avatar via tomb 21 days ago | cached | 13 comments
  4. 2
    Interactive amc-prove ☶ ml plt release hydraz.semi.works
    hydraz avatar authored by hydraz 21 days ago | cached | no comments
  5. 7
    Announcement: amc-prove ml plt release hydraz.semi.works
    hydraz avatar authored by hydraz 25 days ago | cached | no comments
  6. 18
    Announcing F# 4.7 dotnet ml release devblogs.microsoft.com
    calvin avatar via calvin 27 days ago | cached | 2 comments
  7. 19
    Multicore prerequisite patches appearing in released OCaml compilers now ml discuss.ocaml.org
    DrM avatar via DrM 27 days ago | cached | 6 comments
  8. 23
    A look back on OCaml since 2011 ml ocamlpro.com
    copy avatar via copy 28 days ago | cached | 5 comments
  9. 24
    OCaml 4.09.0 released ml release discuss.ocaml.org
    DrM avatar via DrM 1 month ago | cached | 6 comments
  10. 9
    The Distribution Monad ☶ math ml blog.russelldmatt.com
    etc avatar via etc 1 month ago | cached | no comments
  11. 14
    A Standard ML interpreter written in TypeScript with an online REPL ml plt github.com
    eatonphil avatar via eatonphil 1 month ago | cached | 2 comments
  12. 2
    Functor, applicative, and monad haskell ml typeslogicscats.gitlab.io
    lelf avatar via lelf 1 month ago | cached | no comments
  13. 14
    Narcissus: Deriving Correct-By-Construction Decoders and Encoders from Binary Formats ☶ pdf formalmethods ml networking security arxiv.org
    nickpsecurity avatar via nickpsecurity 1 month ago | cached | 2 comments
  14. 14
    Declarative parse error reporting with Menhir ml blog.baturin.org
    dmbaturin avatar authored by dmbaturin 1 month ago | cached | no comments
  15. 1
    MXNet made simple: Transfer Learning to achieve State of the Art on image classification tasks clojure ml arthurcaillau.com
    Yogthos avatar via Yogthos 2 months ago | cached | no comments
  16. 47
    v0.3.0 of Gleam, the statically typed language for the Erlang VM, is out erlang ml plt release lpil.uk
    lpil avatar authored by lpil 2 months ago | cached | 5 comments
  17. 15
    Extending OCaml programs with Lua (soupault got plugin support) show lua ml web blog.baturin.org
    dmbaturin avatar authored by dmbaturin 2 months ago | cached | 2 comments
  18. 7
    Lightweight Static Guarantees ml plt programming okmij.org
    mt avatar via mt 2 months ago | cached | 2 comments
  19. 5
    AI-Based Photo Restoration art ml medium.com
    Yogthos avatar via Yogthos 3 months ago | cached | no comments
  20. 2
    Nu: An F# Game Engine that Allows You to Program in the Elm Style dotnet games ml medium.com
    zem avatar via zem 3 months ago | cached | no comments
  21. 44
    Static website generator based on HTML rewriting instead of template processing show ml web baturin.org
    dmbaturin avatar authored by dmbaturin 3 months ago | cached | 12 comments
  22. 2
    European-based GPU resources for machine learning ☶ show ai ml clevergrid.io
    cnivolle avatar authored by cnivolle 3 months ago | cached | no comments
  23. 3
    An online context-free language generator with BNF support and a tutorial ☶ compsci ml baturin.org
    dmbaturin avatar authored by dmbaturin 3 months ago | cached | 3 comments
  24. 54
    Comparing the Same Project in Rust, Haskell, C++, Python, Scala and OCaml c++ compilers haskell ml plt programming python rust scala thume.ca
    faitswulff avatar via faitswulff 4 months ago | cached | 12 comments
  25. 20
    [Caml-list] OCaml release 4.08.0 ml release inbox.ocaml.org
    DrM avatar via DrM 4 months ago | cached | 9 comments
Page 2 >>