Search Results for 'Icfp'

Icfp published presentations and documents on DocSlides.

Type inference

by celsa-spraggs

in type-based verification. Dimitrios Vytiniotis,...

Type inference in type-based verification

by emery

Dimitrios Vytiniotis, Microsoft Research. dimitris...