A Polymorphic Lambda-Calculus with Sized Higher-Order Types (2006)

by Andreas Abel