dblp.uni-trier.de www.uni-trier.de

12. ICFP 2007: Freiburg, Germany

Ralf Hinze, Norman Ramsey (Eds.): Proceedings of the 12th ACM SIGPLAN International Conference on Functional Programming, ICFP 2007, Freiburg, Germany, October 1-3, 2007. ACM 2007, ISBN 978-1-59593-815-2 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

Semantic tools

Language design

Calculation, derivation, visualization

Control-flow analysis

Working with types

Testing and validation

Programming the web

Continuations

Concurrency and distribution

Functional programming and the masses

Mainstream problems

Analysis of Haskell and Haskell for analysis

Compilation

Modules

Efficient value constructors

Copyright © Sat Nov 21 00:06:10 2009 by Michael Ley (ley@uni-trier.de)