Parsimonious Types and Non-uniform Computation.

Damiano Mazza, Kazushige Terui

Browse the full ICALP paper archive.