Browsing by Author Cunningham, Dave
Showing results 1 to 2 of 2
Issue Date | Title | Author(s) |
2008 | UJ : type soundness for universe types | Cunningham, Dave; Francalanza, Adrian; Drossopoulou, Sophia; Dietl, Werner; Muller, Peter |
2008 | Universe types for topology and encapsulation | Cunningham, Dave; Dietl, Werner; Drossopoulou, Sophia; Francalanza, Adrian; Muller, Peter; Summers, Alexander J. |