Type-theory in color.

Jean-Philippe Bernardy, Guilhem Moulin

Browse the full ICFP paper archive.