Polymorphic Types with Polynomial Sizes.

Jean-Louis Colao, Baptiste Pauget, Marc Pouzet

Browse the full PLDI paper archive.