Travelled to:
1 × USA
Collaborated with:
L.Birkedal M.Tofte
Talks about:
region (2) infer (2) represent (1) neumann (1) machin (1) von (1)
Person: Magnus Vejlstrup
DBLP: Vejlstrup:Magnus
Contributed to:
Wrote 1 papers:
- POPL-1996-BirkedalTV #representation
- From Region Inference to von Neumann Machines via Region Representation Inference (LB, MT, MV), pp. 171–183.