Login / Signup
ML/OCaml
2014
2019
2014
2019
Keyphrases
Publications
volume 294, 2019
Proceedings ML Family / OCaml Users and Developers workshops, ML/OCaml 2017, Oxford, UK, 7th September 2017.
ML/OCaml
294 (2019)
2017
Jeremy Yallop
,
Stephen Dolan
First-Class Subtypes.
ML/OCaml
(2017)
Oleg Kiselyov
Effects Without Monads: Non-determinism - Back to the Meta Language.
ML/OCaml
(2017)
John G. Whitington
,
Tom Ridge
Direct Interpretation of Functional Programs for Debugging.
ML/OCaml
(2017)
Runhang Li
,
Jeremy Yallop
Extending OCaml's 'open'.
ML/OCaml
(2017)
volume 198, 2015
Proceedings ML Family/OCaml Users and Developers workshops, ML/OCaml 2014, Gothenburg, Sweden, September 4-5, 2014.
ML/OCaml
198 (2015)
2014
Tomas Petricek
,
Don Syme
,
Zach Bray
In the Age of Web: Typed Functional-First Programming Revisited.
ML/OCaml
(2014)
Akinori Abe
,
Eijiro Sumii
A Simple and Practical Linear Algebra Library Interface with Static Size Checking.
ML/OCaml
(2014)
Leo White
,
Frédéric Bour
,
Jeremy Yallop
Modular implicits.
ML/OCaml
(2014)
Arthur Charguéraud
Improving Type Error Messages in OCaml.
ML/OCaml
(2014)