@dblp

The Hierarchy of Finitely Typed Functional Programs (Short Version)

, , and . LICS, page 225-235. IEEE Computer Society, (1987)

Links and resources

Tags