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 BibTeX

Semantic tools

Language design

Calculation, derivation, visualization

Control-flow analysis

Working with types

Testing and validation

Programming the web


Concurrency and distribution

Functional programming and the masses

Mainstream problems

Analysis of Haskell and Haskell for analysis



Efficient value constructors

Copyright © Sat May 16 23:19:39 2009 by Michael Ley (ley@uni-trier.de)