35. POPL 2008:
San Francisco,
California,
USA
George C. Necula, Philip Wadler (Eds.):
Proceedings of the 35th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2008, San Francisco, California, USA, January 7-12, 2008.
ACM 2008, ISBN 978-1-59593-689-9 BibTeX
Session 1
Session 2
Session 3
Session 4
Session 5
Session 6
Session 7
Session 8
Session 9
Session 10
Session 11
Session 12
- Sam Tobin-Hochstadt, Matthias Felleisen:
The design and implementation of typed scheme.
395-406
Electronic Edition (ACM DL) BibTeX
- Aaron Bohannon, J. Nathan Foster, Benjamin C. Pierce, Alexandre Pilkiewicz, Alan Schmitt:
Boomerang: resourceful lenses for string data.
407-419
Electronic Edition (ACM DL) BibTeX
- Kathleen Fisher, David Walker, Kenny Qili Zhu, Peter White:
From dirt to shovels: fully automatic tool generation from ad hoc data.
421-434
Electronic Edition (ACM DL) BibTeX
- Walter Fontana:
Systems biology, models, and concurrency.
1-2
Electronic Edition (ACM DL) BibTeX
- Kenneth L. McMillan:
Relevance heuristics for program analysis.
145-146
Electronic Edition (ACM DL) BibTeX
- Yaron Minsky:
Caml trading.
285
Electronic Edition (ACM DL) BibTeX
Copyright © Sat May 16 23:34:30 2009
by Michael Ley (ley@uni-trier.de)