default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDML Workshop 2005: Tallinn, Estonia
- 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 - Nick Benton, Xavier Leroy:
Preface. 1-2 - Don Syme:
Initializing Mutually Referential Abstract Objects: The Value Recursion Challenge. 3-25 - François Pottier:
An Overview of Calphaml. 27-52 - Mark R. Shinwell:
Fresh O'Caml: Nominal Abstract Syntax for the Masses. 53-77 - Guido Tack, Leif Kornstaedt, Gert Smolka:
Generic Pickling and Minimization. 79-103 - Norman Ramsey
, João Dias:
An Applicative Control-Flow Graph Based on Huet's Zipper. 105-126 - Umut A. Acar, Guy E. Blelloch, Matthias Blume, Robert Harper, Kanat Tangwongsan:
A Library for Self-Adjusting Computation. 127-154 - François Pottier, Yann Régis-Gianas:
Towards Efficient, Typed LR Parsers. 155-180 - Norman Ramsey:
ML Module Mania: A Type-Safe, Separately Compiled, Extensible Interpreter. 181-209 - Matthew Fluet, Riccardo Pucella:
Practical Datatype Specializations with Phantom Types and Recursion Schemes. 211-237 - Martin Sulzmann, Kenny Zhuo Ming Lu:
A Type-Safe Embedding of XDuce into ML. 239-264
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-09-26 01:01 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
