![](https://dblp.uni-trier.de./img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de./img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de./img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de./img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de./img/search.dark.16x16.png)
default search action
ML 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
![](https://dblp.uni-trier.de./img/cog.dark.24x24.png)
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.