DTP@ICFP

201320132013

Keyphrases

Publications

2013

Larry Diehl, Tim Sheard
Leveling up dependent types: generic programming over a predicative hierarchy of universes. DTP@ICFP (2013)
Hsiang-Shang Ko, Jeremy Gibbons
Relational algebraic ornaments. DTP@ICFP (2013)
Proceedings of the 2013 ACM SIGPLAN workshop on Dependently-typed programming, DTP@ICFP 2013, Boston, Massachusetts, USA, September 24, 2013 DTP@ICFP (2013)
Nils Anders Danielsson
Correct-by-construction pretty-printing. DTP@ICFP (2013)
Guillaume Allais, Conor McBride, Pierre Boutillier
New equations for neutral terms: a sound and complete decision procedure, formalized. DTP@ICFP (2013)
Neal Glew, Tim Sweeney, Leaf Petersen
A multivalued language with a dependent type system. DTP@ICFP (2013)