Search Results for 'icfp'

icfp published presentations and documents on DocSlides.

Type inference

by celsa-spraggs

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

Hotel UNIVERSITAS Babes Bolyai University Hotel

by myesha-ticknor

5km from ICFPTACs site Address Pandurilor Street N...

Type inference in type-based verification

by emery

Dimitrios Vytiniotis, Microsoft Research. dimitris...