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]
No references recorded for this publication.
No citations of this publication recorded.