Most Recent Additions*

PDF

A Reflection on Types
Simon Peyton Jones, Stephanie Weirich, Richard A. Eisenberg, and Dimitrios Vytiniotis

PDF

Injective Type Families for Haskell
Jan Stolarek, Simon Peyton Jones, and Richard A. Eisenberg

PDF

Closed Type Families with Overlapping Equations
Richard A. Eisenberg, Dimitrios Vytiniotis, Simon Peyton Jones, and Stephanie Weirich

PDF

Ironclad C++: A Library-Augmented Type-Safe Subset of C++
Christian DeLozier, Richard A. Eisenberg, Santosh Nagarakatte, Peter-Michael Osera, Milo M. K. Martin, and Steve Zdancewic

PDF

Levity Polymorphism
Richard A. Eisenberg and Simon Peyton Jones

PDF

Pattern Synonyms
Matthew Pickering, Gergő Érdi, Simon Peyton Jones, and Richard A. Eisenberg

PDF

Curiosity: Emergent Behavior Through Interacting Multi-Level Predictions
Douglas S. Blank, Lisa Meeden, and James Marshall

*Updated as of 08/21/17.