ML Workshop 2007:
Freiburg,
Germany
Claudio Russo, Derek Dreyer (Eds.):
Proceedings of the ACM Workshop on ML, 2007, Freiburg, Germany, October 5, 2007.
ACM 2007, ISBN 978-1-59593-676-9
- Didier Rémy:
MLF for everyone (users, implementers, and designers).
1-2
Session 1
- George Kuan, David MacQueen:
Efficient type inference using ranked type variables.
3-14
- Matthew Fluet, Nic Ford, Mike Rainey, John H. Reppy, Adam Shaw, Yingqi Xiao:
Status report: the manticore project.
15-24
- Andreas Rossberg, Guido Tack, Leif Kornstaedt:
Status report: hot pickles, and how to serve them.
25-36
- Sylvain Conchon, Jean-Christophe Filliâtre:
A persistent union-find data structure.
37-46
Session 2
Session 3
Copyright © Wed Nov 11 04:36:22 2009
by Michael Ley (ley@uni-trier.de)