Travelled to:
1 × Germany
Collaborated with:
M.Greenberg A.Igarashi B.C.Pierce
Talks about:
polymorph (1) contract (1)
Person: João Filipe Belo
DBLP: Belo:Jo=atilde=o_Filipe
Contributed to:
Wrote 1 papers:
- ESOP-2011-BeloGIP #contract #polymorphism
- Polymorphic Contracts (JFB, MG, AI, BCP), pp. 18–37.