Browsing Computer Science by Author "Domurad, Adam"
Now showing items 1-1 of 1
-
Static Types with Less Syntax: Locus Types
Domurad, Adam (University of Waterloo, 2017-05-01)Optionally and gradually-typed languages allow types to be introduced to dynamic code as needed. While this approach allows some gradual movement from dynamically to statically-typed code, it requires rewriting ...