Travelled to:1 × France
Collaborated with:R.Dietrich
Talks about:polymorph (1) system (1) subtyp (1) prolog (1) type (1)
Person: Frank Hagl
DBLP: Hagl:Frank
Contributed to:
Wrote 1 papers:
- ESOP-1988-DietrichH #polymorphism #prolog #type system
- A Polymorphic Type System with Subtypes for Prolog (RD, FH), pp. 79–93.












