1 | -- | 2 | Nick Benton, Xavier Leroy. Preface |
3 | -- | 25 | Don Syme. Initializing Mutually Referential Abstract Objects: The Value Recursion Challenge |
27 | -- | 52 | François Pottier. An Overview of C-alpha-ml |
53 | -- | 77 | Mark R. Shinwell. Fresh O Caml: Nominal Abstract Syntax for the Masses |
79 | -- | 103 | Guido Tack, Leif Kornstaedt, Gert Smolka. Generic Pickling and Minimization |
105 | -- | 126 | Norman Ramsey, João Dias. An Applicative Control-Flow Graph Based on Huet s Zipper |
127 | -- | 154 | Umut A. Acar, Guy E. Blelloch, Matthias Blume, Robert Harper, Kanat Tangwongsan. A Library for Self-Adjusting Computation |
155 | -- | 180 | François Pottier, Yann Régis-Gianas. Towards Efficient, Typed LR Parsers |
181 | -- | 209 | Norman Ramsey. ML Module Mania: A Type-Safe, Separately Compiled, Extensible Interpreter |
211 | -- | 237 | Matthew Fluet, Riccardo Pucella. Practical Datatype Specializations with Phantom Types and Recursion Schemes |
239 | -- | 264 | Martin Sulzmann, Kenny Zhuo Ming Lu. A Type-Safe Embedding of XDuce into ML |