2004 ICFP Poster-Session Participants and Presentations

(The links below provide abstracts and participants' homepages.)

• Opaque Signature Inference for ML    Mike Furr
• Boxed Ambients with Communication Interfaces    Pablo Garralda
• Rapid, Reliable Compiler Development with the MetaPRL Logical Framework    Nathaniel Gray
• Modular Monadic Semantics of Aspect-Oriented Programs    Garrin Kimmell
• Progress on 'HaRe: the Haskell Refactorer'    Huiqing Li
• Verifying Compiler generation for a domain specific language    Amala Vijaya Selvi Rajan
• Toward A Browsable Design Space and Integrated Pedagogical Environment    Fritz Ruehr
• Measuring and Visualising Haskell Programs    Chris Ryder
• Estimating Reliability in a Haskell Programming Environment    Mark Sherriff