Subtyping dependent types (Summary)

David Aspinall, Adriana Compagnoni

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Fingerprint

Dive into the research topics of 'Subtyping dependent types (Summary)'. Together they form a unique fingerprint.

Computer Science

Biochemistry, Genetics and Molecular Biology