Travelled to:
1 × USA
Collaborated with:
A.Rastogi A.Chaudhuri
Talks about:
gradual (1) infer (1) type (1) out (1)
Person: Basil Hosmer
DBLP: Hosmer:Basil
Contributed to:
Wrote 1 papers:
- POPL-2012-RastogiCH #type inference
- The ins and outs of gradual type inference (AR, AC, BH), pp. 481–494.