Travelled to:
1 × Austria
Collaborated with:
F.Matthes
Talks about:
perspect (1) quantif (1) practic (1) subtyp (1) integr (1) match (1) type (1)
Person: Andreas Gawecki
DBLP: Gawecki:Andreas
Contributed to:
Wrote 1 papers:
- ECOOP-1996-GaweckiM #perspective #quantifier #type system
- Integrating Subtyping, Matching and Type Quantification: A Practical Perspective (AG, FM), pp. 26–47.