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

*Updated as of 09/21/17.