Parameter-free polymorphic types

Klaus Aehlig. Parameter-free polymorphic types. Annals of Pure and Applied Logic, 156(1):3-12, 2008. [doi]

Abstract

Abstract is missing.