Travelled to:
1 × The Netherlands
Collaborated with:
S.Smetsers
Talks about:
uniqu (1) infer (1) type (1)
Person: Erik Barendsen
DBLP: Barendsen:Erik
Contributed to:
Wrote 1 papers:
- PLILP-1995-BarendsenS #type inference
- Uniqueness Type Inference (EB, SS), pp. 189–206.