Travelled to:
1 × Brazil
1 × Korea
Collaborated with:
M.Viroli
Talks about:
java (2) wildcard (1) approach (1) generic (1) prolog (1) method (1) integr (1) reifi (1) infer (1) type (1)
Person: Maurizio Cimadamore
DBLP: Cimadamore:Maurizio
Contributed to:
Wrote 2 papers:
- SAC-2008-CimadamoreV #java #prolog #type inference
- Integrating Java and Prolog through generic methods and type inference (MC, MV), pp. 198–205.
- SAC-2007-CimadamoreV #approach #java #using
- Reifying wildcards in Java using the EGO approach (MC, MV), pp. 1315–1322.