An Imperative Type Hierarchy with Partial Products

E. M. Schmidt,M. I. Schwartzbach
DOI: https://doi.org/10.1007/3-540-51486-4_92
1988-12-01
Abstract:
What problem does this paper attempt to address?