ICFP 2008 : The 13th ACM SIGPLAN International Conference on Functional Programming

Victoria, British Columbia, Canada
September 22-24, 2008

Poster Session

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

Back to the ICFP 2008 homepage.
Matthew Fluet, ICFP Publicity Chair