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.