15:01

[ML'22] Boxroot, fast movable GC roots for a better FFI

ACM SIGPLAN

16:34

[ML'22] A New Match Compiler for Standard ML of New Jersey

ACM SIGPLAN

16:43

[ML'22] Unboxed types for OCaml

ACM SIGPLAN

16:06

[ML'22] What About the Integer Numbers?

ACM SIGPLAN

13:34

[ML'22] Verify, but test: extracting property-based tests from F* specifications

ACM SIGPLAN

18:39

[ML'22] Interpreting OCaml GADTs into Coq

ACM SIGPLAN

13:35

[ML'22] Do Mutable Variables Have Reference Types?

ACM SIGPLAN

16:13

[ML'22] Module Shapes for Modern Tooling

ACM SIGPLAN

13:37

[ML'22] Necro ML: Generating OCaml Interpreters

ACM SIGPLAN

20:34

[ML'22] An OCaml use case for strong call-by-need reduction

ACM SIGPLAN

15:45

[ML'22] Towards Algebraic Subtyping for Extensible Records

ACM SIGPLAN

15:46

[ML'22] The Ultimate Conditional Syntax

ACM SIGPLAN

47:33

[ML'22] Efficient and Scalable Parallel Functional Programming Through Disentanglement

ACM SIGPLAN