Search Results for 'gadts'

gadts published presentations and documents on DocSlides.

GADTs

by calandra-battersby

meet their match. George . Karachalias. . (Ghent...

let should not be generalized

by jane-oiler

Dimitrios Vytiniotis, Simon Peyton Jones . Micros...

Type inference

by celsa-spraggs

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