A multivalued language with a dependent type system.

Neal Glew, Tim Sweeney, Leaf Petersen

Browse the full ICFP paper archive.