Browsing by Author Zammit, Melanie
Showing results 2 to 3 of 3
< previous
Issue Date | Title | Author(s) |
---|---|---|
2012 | A type system for a higher-order language | Zammit, Melanie; Francalanza, Adrian |
2014 | Uniqueness typing for a higher-order language | Francalanza, Adrian; Zammit, Melanie |