Neal Glew, Tim Sweeney, Leaf Petersen. A multivalued language with a dependent type system. In Stephanie Weirich, editor, Proceedings of the 2013 ACM SIGPLAN workshop on Dependently-typed programming, DTP@ICFP 2013, Boston, Massachusetts, USA, September 24, 2013. pages 25-36, ACM, 2013. [doi]
Abstract is missing.