- Tom Murphy VII:
ML grid programming with ConCert. ML 2006: 2-11 - Stephen Weeks:
Whole-program compilation in MLton. ML 2006: 1 - Nick Benton, Xavier Leroy:
Proceedings of the ACM-SIGPLAN Workshop on ML, ML 2005, Tallinn, Estonia, September 29, 2005. Electronic Notes in Theoretical Computer Science 148(2), Elsevier 2006 [contents] - Andrew Kennedy, François Pottier:
Proceedings of the ACM Workshop on ML, 2006, Portland, Oregon, USA, September 16, 2006. ACM 2006, ISBN 1-59593-483-9 [contents] - 2005
- Umut A. Acar, Guy E. Blelloch, Matthias Blume, Robert Harper, Kanat Tangwongsan:
A Library for Self-Adjusting Computation. ML 2005: 127-154 - Nick Benton, Xavier Leroy:
Preface. ML 2005: 1-2 - Matthew Fluet, Riccardo Pucella:
Practical Datatype Specializations with Phantom Types and Recursion Schemes. ML 2005: 211-237 - François Pottier:
An Overview of Calphaml. ML 2005: 27-52 - François Pottier, Yann Régis-Gianas:
Towards Efficient, Typed LR Parsers. ML 2005: 155-180 - Norman Ramsey
:
ML Module Mania: A Type-Safe, Separately Compiled, Extensible Interpreter. ML 2005: 181-209 - Norman Ramsey, João Dias:
An Applicative Control-Flow Graph Based on Huet's Zipper. ML 2005: 105-126 - Mark R. Shinwell:
Fresh O'Caml: Nominal Abstract Syntax for the Masses. ML 2005: 53-77 - Martin Sulzmann, Kenny Zhuo Ming Lu:
A Type-Safe Embedding of XDuce into ML. ML 2005: 239-264 - Don Syme:
Initializing Mutually Referential Abstract Objects: The Value Recursion Challenge. ML 2005: 3-25 - Guido Tack, Leif Kornstaedt, Gert Smolka:
Generic Pickling and Minimization. ML 2005: 79-103
