ICFP 2008 : The 13th ACM SIGPLAN International Conference on Functional Programming
Victoria, British Columbia, CanadaSeptember 22-24, 2008
A summary of all accepted posters is available as a PDF file.
| Sunday, September 21, 3:00PM - 6:00PM | |||
| SASyLF: An Educational Proof Assistant for Language Theory | Jonathan Aldrich, Robert J. Simmons and Key Shin | ||
| A Type System for Certified Garbage Collection of Haskell Programs | Tim Chevalier and Andrew Tolmach | ||
| TreeView: Interactive Large Tree Visualization in Haskell | Jefferson Heard and Xiaojun Guan | ||
| An ML-like universal module system | Hyeonseung Im and Sungwoo Park | ||
| Directing JavaScript with Arrows | Khoo Yit Phang, Michael Hicks, Jeffrey S. Foster and Vibha Sazawal | ||
| Monadic Programming Through Program Extraction | Josef Pohl | ||
| Unified Type Checking for Type Classes and Type Families | Tom Schrijvers and Martin Sulzmann | ||
| Normalization in the Dual Calculus with Sigma Reductions | Jeffrey Vaughan, Steve Zdancewic and Stephanie Weirich | ||
| Translucent Abstraction -- Algebraic Datatypes with Safe Views | Meng Wang and Jeremy Gibbons | ||
| Schema Mapping Polymorphism | Ryan Wisnesky | ||