Browsing Mathematics (Faculty of) by Subject "type inference"
Now showing items 1-3 of 3
-
C∀ Type System Implementation
(University of Waterloo, 2019-04-30)The C programming language has been an important software development tool for decades. C∀ is a new programming language designed with strong backwards-compatibility to take advantage of widely distributed C programming ... -
Direct and Expressive Type Inference for the Rank 2 Fragment of System F
(University of Waterloo, 2007-09-20)This thesis develops a semiunification-based type inference procedure for the rank 2 fragment of System F, with an emphasis on practical considerations for the adoption of such a procedure into existing programming ... -
Static Types with Less Syntax: Locus Types
(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 ...