- 2008
- Matthias Blume, Mike Rainey, John H. Reppy
:
Calling variadic functions from a strongly-typed language. ML 2008: 47-58 - Benjamin Canou, Vincent Balat, Emmanuel Chailloux:
O'browser: objective caml on browsers. ML 2008: 69-78 - Pascal Cuoq, Damien Doligez:
Hashconsing in an incrementally garbage-collected system: a story of weak pointers and hashconsing in ocaml 3.10.2. ML 2008: 13-22 - Jean-Christophe Filliâtre:
A functional implementation of the garsia--wachs algorithm: (functional pearl). ML 2008: 91-96 - Alec Heller, Jesse A. Tov:
Caml-Shcaml: an ocaml library for unix shell programming. ML 2008: 79-90 - Andrew Kennedy:
Types for units-of-measure in f#: invited talk. ML 2008: 1-2 - Sam Lindley:
Many holes in hindley-milner. ML 2008: 59-68 - Luc Maranget:
Compiling pattern matching to good decision trees. ML 2008: 35-46 - Johan Nordlander, Magnus Carlsson, Andy Gill:
Unrestricted pure call-by-value recursion. ML 2008: 23-34 - Jérôme Vouillon:
Lwt: a cooperative thread library. ML 2008: 3-12 - Eijiro Sumii:
Proceedings of the ACM Workshop on ML, 2008, Victoria, BC, Canada, September 21, 2008. ACM 2008, ISBN 978-1-60558-062-3 [contents] - 2007
- Tyng-Ruey Chuang, Max Schäfer:
Status report: layered streaming XML processing with modules. ML 2007: 53-58 - Sylvain Conchon, Jean-Christophe Filliâtre:
A persistent union-find data structure. ML 2007: 37-46 - Matthew Fluet, Nic Ford, Mike Rainey, John H. Reppy, Adam Shaw, Yingqi Xiao:
Status report: the manticore project. ML 2007: 15-24 - David Herman, Cormac Flanagan:
Status report: specifying javascript with ML. ML 2007: 47-52 - Vesa A. J. Karvonen:
Generics for the working ML'er. ML 2007: 71-82 - George Kuan, David MacQueen:
Efficient type inference using ranked type variables. ML 2007: 3-14 - Jean-Vincent Loddo, Luca Saiu:
Status report: marionnet or "how to implement a virtual network laboratory in six months and be happy". ML 2007: 59-70 - Didier Rémy:
MLF for everyone (users, implementers, and designers). ML 2007: 1-2 - Andreas Rossberg, Guido Tack, Leif Kornstaedt:
Status report: hot pickles, and how to serve them. ML 2007: 25-36 - Jeremy Yallop:
Practical generic programming in OCaml. ML 2007: 83-94 - Claudio V. Russo, Derek Dreyer:
Proceedings of the ACM Workshop on ML, 2007, Freiburg, Germany, October 5, 2007. ACM 2007, ISBN 978-1-59593-676-9 [contents] - 2006
- Vincent Balat:
Ocsigen: typing web interaction with objective Caml. ML 2006: 84-94 - John Billings, Peter Sewell, Mark R. Shinwell, Rok Strnisa:
Type-safe distributed programming for OCaml. ML 2006: 20-31 - Jean-Christophe Filliâtre:
Backtracking iterators. ML 2006: 55-62 - Jean-Christophe Filliâtre, Sylvain Conchon:
Type-safe modular hash-consing. ML 2006: 12-19 - Benjamin S. Lerner, Dan Grossman, Craig Chambers:
Seminal: searching for ML type-error messages. ML 2006: 63-73 - John H. Reppy:
Type-sensitive control-flow analysis. ML 2006: 74-83 - David Swasey, Tom Murphy VII, Karl Crary, Robert Harper:
A separate compilation extension to standard ML. ML 2006: 32-42 - Don Syme:
Leveraging .NET meta-programming components from F#: integrated queries and interoperable heterogeneous execution. ML 2006: 43-54
