My publications are listed below in reverse chronological order.
- Dependently Typed Programming with Singletons. Richard A. Eisenberg and
Stephanie Weirich. Haskell Symposium 2012, Copenhagen, Denmark.
- Towards dependently typed Haskell: System FC with kind equality.
Stephanie Weirich, Justin Hsu, and Richard A. Eisenberg. Submitted to ICFP 2013.
(pdf extended 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. Submitted to OOPSLA 2013.
(pdf technical report pdf)
- System FC, as implemented in GHC. This is a summary of the internal
language in GHC, as implemented.