Front cover image for Pure subtype systems : a type theory for extensible software

Pure subtype systems : a type theory for extensible software


Thesis, Dissertation, English, 2009