Adriana B. Compagnoni
2 published titles
Multiple inheritance via intersection types
1 edition
- LFCS, Dept. of Computer Science, University of Edinburgh
- 1993
- Details
Subtyping in F [omega,lambda] is decidable
1 edition
- LFCS, Dept. of Computer Science, University of Edinburgh
- 1994
- Details
