Travelled to:
1 × USA
Collaborated with:
W.Löwe R.Neumann W.Zimmermann
Talks about:
generic (1) subtyp (1) weak (1)
Person: Andreas Heberle
DBLP: Heberle:Andreas
Contributed to:
Wrote 1 papers:
- TOOLS-USA-2000-HeberleLNZ #type system
- Weak Subtyping and Genericity (AH, WL, RN, WZ), pp. 149–158.