Export or edit this event...

ICFP PC Functional Programming Workshop

Portland State University (PSU) - Smith Memorial Center



Room: Portland State University, The Vanport Room (rm 338), Smith Memorial Student Union. The building is at Harrison and Broadway; enter via door on Harrison and take stairs to 3rd floor.

Content: Series of presentations by distinguished members of the FP community from around the world:

  • Algebra of Programming using Dependent Types. Shin-Cheng Mu (Academia Sinica)
  • Realizability Semantics of Parametric Polymorphism, General References, and Recursive Types. Lars Birkedal (IT University of Copenhagen)
  • A Compiler on a Page. Kristoffer Rose (IBM Thomas J. Watson Research Center)
  • A Proof Theory for Compilation. Atsushi Ohori (Tohoku University)
  • Data Parallelism in Haskell. Manuel Chakravarty (University of New South Wales)
  • Push-down control-flow analysis of higher-order programs. Matthew Might (University of Utah)
  • Slicing It: indexed containers in Haskell. Conor McBride (University of Strathclyde)
  • Daan Leijen (Microsoft Research)
  • Koen Claessen (Chalmers University of Technology)
  • Taking the monad laws seriously. Andrzej Filinski (University of Copenhagen)
  • A compiler front-end for Mini-ML and its Coq proof of correctness. Xavier Leroy (INRIA Paris-Rocquencourt)