Back to Results
First PageMeta Content
Type theory / Lambda calculus / Type systems / Models of computation / Program analysis / Simply typed lambda calculus / Gradual typing / Monad / System F


The Gradualizer: A Methodology and Algorithm for Generating Gradual Type Systems Matteo Cimini Jeremy G. Siek
Add to Reading List

Open Document

File Size: 347,37 KB

Share Result on Facebook