Now showing items 1-1 of 1
Pluggable Properties for Program Understanding: Ontic Type Checking and Inference
(University of Waterloo, 2018-04-26)
Pluggable type systems is a powerful approach to add additional information on types, which can facilitate the understanding of programs. This thesis presents our work on three pluggable type systems for helping both ...