Travelled to:
1 × France
1 × Germany
Collaborated with:
E.Moggi C.B.Jay
Talks about:
intermedi (1) functori (1) languag (1) analysi (1) shape (1) type (1) ml (1)
Person: Gianna Bellè
DBLP: Bell=egrave=:Gianna
Contributed to:
Wrote 2 papers:
- TLCA-1997-BelleM #analysis
- Typed Intermediate Languages for Shape Analysis (GB, EM), pp. 11–29.
- PLILP-1996-BelleJM #ml
- Functorial ML (GB, CBJ, EM), pp. 32–46.