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...

Hotel UNIVERSITAS Babes Bolyai University Hotel

by myesha-ticknor

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