ICFP 2014: Lem: Reusable Engineering of Real-World Semantics - Dominic P. Mulligan
ICFP 2014: Type-Based Parametric Analysis of Program Families - Sheng Chen
ICFP 2014: Behavioral Software Contracts - Robert Bruce Findler
ICFP 2014: SML# in Industry: A Practical ERP System Development (Experience Report)
ICFP 2014: Soft Contract Verification - David Van Horn
ICFP 2014: Worker/Wrapper/Makes It/Faster - Jennifer Hackett
HOPE 2014: From stateful to stackful computation - Danel Ahman and Tarmo Uustalu
ICFP 2014: Hindley-Milner Elaboration in Applicative Style (Functional Pearl) - Francois Pottier
WGP 2014: Bruno C. d. S. Oliveira. Functional Programming, Object-Oriented Programming and Algebras!
Haskell 2014: Embedding Effect Systems, Dominic Orchard
WGP 2014: Andres Löh - True Sums of Products
ICFP 2020 Session NY 1
HOPE 2014: Compositional Compiler Verification via Parametric Simulation
09 Hygenic Resugaring of Compositional Desugaring
