dblp.uni-trier.de www.dagstuhl.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

Last update Sat May 18 18:44:53 2013 CET by the DBLP TeamThis material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page