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 BibTeX
Session 1
- George Kuan, David MacQueen:
Efficient type inference using ranked type variables.
3-14
Electronic Edition (ACM DL) BibTeX
- Matthew Fluet, Nic Ford, Mike Rainey, John H. Reppy, Adam Shaw, Yingqi Xiao:
Status report: the manticore project.
15-24
Electronic Edition (ACM DL) BibTeX
- Andreas Rossberg, Guido Tack, Leif Kornstaedt:
Status report: hot pickles, and how to serve them.
25-36
Electronic Edition (ACM DL) BibTeX
- Sylvain Conchon, Jean-Christophe Filliâtre:
A persistent union-find data structure.
37-46
Electronic Edition (ACM DL) BibTeX
Session 2
Session 3
Copyright © Sat May 16 23:30:07 2009
by Michael Ley (ley@uni-trier.de)