Richard A. Eisenberg, Stephanie Weirich. Dependently typed programming with singletons. In Janis Voigtländer, editor, Proceedings of the 5th ACM SIGPLAN Symposium on Haskell, Haskell 2012, Copenhagen, Denmark, 13 September 2012. pages 117-130, ACM, 2012. [doi]
Abstract is missing.