Travelled to:1 × USA
Collaborated with:H.G.Mairson
Talks about:type (2) nonlinear (1) idempot (1) amnesia (1) system (1) potenc (1) work (1) make (1) whi (1)
Person: Peter Møller Neergaard
DBLP: Neergaard:Peter_M=oslash=ller
Contributed to:
2004Wrote 1 papers:
- ICFP-2004-NeergaardM #type system #why
- Types, potency, and idempotency: why nonlinearity and amnesia make a type system work (PMN, HGM), pp. 138–149.