Polymorphic typing of an algorithmic language. Research report 1778 (1992)

by Xavier Leroy