25:23

ML 2021 - Composing UNIX with Effect Handlers: A Case Study in Effect Handler Oriented Programming

ACM SIGPLAN

27:38

ML 2021 - Cameleer: a Deductive Verification Tool for OCaml

ACM SIGPLAN

20:05

ML 2021 - Hobbit: A Tool for Contextual Equivalence Checking Using Bisimulation Up-to Techniques

ACM SIGPLAN

23:48

ML 2021 - Formalizing OCaml GADT typing in Coq

ACM SIGPLAN

23:19

ML 2021 - Demo Paper : Coqlex, an approach to generate verified lexers

ACM SIGPLAN

24:24

ML 2021 - Code Extraction from Coq to ML-like languages

ACM SIGPLAN

1:23:35

ML 2021 - Keynote: Narratives and Lessons from The Early History of F#

ACM SIGPLAN

16:06

ML 2021 - A metalanguage for multi-phase modularity

ACM SIGPLAN

24:12

ML 2021 - Unfolding ML datatype declarations without loops

ACM SIGPLAN

27:55

ML 2021 - Frozen inference constraints for type-directed disambiguation

ACM SIGPLAN

12:38

ML 2021 - Experience Report: Domain Modeling with F# (short talk)

ACM SIGPLAN

10:46

ML 2021 - Isomorphisms are back! (short talk)

ACM SIGPLAN

13:31

ML 2021 - Sylvester: Unified, typed, notation for symbolic mathematics and proofs (short talk)

ACM SIGPLAN

10:25

ML 2021 - A Data-centered User Study for jsCoq (short talk)

ACM SIGPLAN

7:17:43

ML 2021 Full Workshop

ACM SIGPLAN