Travelled to:
1 × France
Collaborated with:
S.Abramsky
Talks about:
virtual (1) program (1) machin (1) applic (1) secd (1)
Person: R. Sykes
DBLP: Sykes:R=
Contributed to:
Wrote 1 papers:
- FPCA-1985-AbramskyS85 #named #programming #virtual machine
- Secd-m: a Virtual Machine for Applicative Programming (SA, RS), pp. 81–98.