ICFP 2014: Hindley-Milner Elaboration in Applicative Style (Functional Pearl) - Francois Pottier
ICFP 2014: FP for Dynamic and Large Data with Self-Adjusting Computation - Yan Chen
04 A Denotational Semantics for Hindley Milner Polymorphism
ICFP 2014: Depending on Types - Stephanie Weirich (discussion)
ICFP 2014:On Teaching How to Design Programs: Observations from a Newcomer - Norman Ramsey
ICFP 2014: SML# in Industry: A Practical ERP System Development (Experience Report)
ICFP 2014: Safe Zero-Cost Coercions for Haskell - Richard A. Eisenberg
03 An Algebraic Approach to Typechecking and Elaboration
ICFP 2014: session "Abstract Interpretation"
ICFP 2014: Folding Domain-Specific Languages: Deep and Shallow Embeddings - Jeremy Gibbons
Hindley–Milner type system
ICFP 2014: Most Influential Paper Award (for 2004)
WGP 2014: Composing & Decomposing Data Types – A Closed Type Families Impl of Data Types à la Carte
CSE 340 Makeup Lecture for 10-14-15: "Hindley-Milner Type Inference"
ML Family 2014: Type-level module aliases: independent and equal
5 type inference & Hindley Milner type system
From Prolog to Hindley-Milner by Tikhon Jelvis at BayHac 2014 1/4
ICFP 2014: Using Formal Methods to Enable More Secure Vehicles: Kathleen Fisher
From Prolog to Hindley-Milner by Tikhon Jelvis at BayHac 2014 3/4
ICFP 2014: Compositional Semantics for Composable Continuations: From Abortive to Delimited Control
ICFP 2014: Lem: Reusable Engineering of Real-World Semantics - Dominic P. Mulligan
ICFP 2014: Worker/Wrapper/Makes It/Faster - Jennifer Hackett
What's the Difference? A Functional Pearl on Subtracting Bijections
Ghosts of Departed Proofs (Functional Pearl)
WGP 2014: Sam Lindley. Algebraic Effects and Effect Handlers for Idioms and Arrows