ICFP 2014: Safe Zero-Cost Coercions for Haskell - Richard A. Eisenberg
ICFP 2014: Coeffects: A Calculus of Context-Dependent Computation - Tomas Petricek
ICFP 2012. Neil Mitchell: Shake before building - replacing Make with Haskell.
ICFP 2014: Using Formal Methods to Enable More Secure Vehicles (pt III) - Kathleen Fisher
ICFP 2014: Depending on Types - Stephanie Weirich (discussion)
ICFP 2014: There is no Fork: Abstraction for Efficient, Concurrent, Concise Data Access
Haskell 2014: PC Chair report & Future of Haskell Discussion, Wouter Swierstra
ICFP 2012. Geoffrey Mainland: Explicitly Heterogeneous Metaprogramming with MetaHaskell.
ICFP 2014: session "Abstract Interpretation"
ICFP 2014: Most Influential Paper Award (for 2004)
Haskell 2014: LiquidHaskell: Refinement Types for the Real World, Eric L. Seidel
ICFP 2014: Using Formal Methods to Enable More Secure Vehicles: Kathleen Fisher
Haskell 2014: Keynote, Anil Madhavapeddy (Discussion)
@rae: The monomorphism restriction in Haskell causes order dependency. Ack!
Haskell 2014: Embedding Effect Systems, Dominic Orchard
HIW 2014: Gershom Bazerman: New www.haskell.org
ICFP 2014: Soft Contract Verification - David Van Horn
ICFP 2014: A Relational Framework for Higher-Order Shape Analysis - Gowtham Kaki
CUFP 2014: Haskell tools for satellite operations - Björn Buckwalter
Haskell 2014: Keynote, Patricia Johann, Interleaving Data and Effects
