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. (pdf)

• 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. (pdf)