Login / Signup

Type checking dependent (record) types and subtyping.

Gustavo Betarte
Published in: J. Funct. Program. (2000)
Keyphrases