Travelled to:1 × Germany
1 × Hungary
Collaborated with:E.d.Vries R.Plasmeijer
Talks about:uniqu (2) type (2) simplifi (1) redefin (1)
Person: David M. Abrahamson
DBLP: Abrahamson:David_M=
Contributed to:
20072006Wrote 2 papers:
- IFL-2007-VriesPA #type system
- Uniqueness Typing Simplified (EdV, RP, DMA), pp. 201–218.
- IFL-2006-VriesPA #type system
- Uniqueness Typing Redefined (EdV, RP, DMA), pp. 181–198.