Travelled to:
1 × USA
1 × United Kingdom
2 × Italy
Collaborated with:
∅ C.Runciman
Talks about:
function (2) virtual (2) program (2) machin (2) haskel (2) compil (2) lazi (2) java (2) methodolog (1) linear (1)
Person: David Wakeling
DBLP: Wakeling:David
Contributed to:
Wrote 4 papers:
- SAIG-2001-Wakeling #design #functional #source code
- A Design Methodology for Functional Programs (DW), pp. 146–162.
- ALP-PLILP-1998-Wakeling #compilation #functional #haskell #java #lazy evaluation #mobile #source code #virtual machine
- Mobile Haskell: Compiling Lazy Functional Programs for the Java Virtual Machine (DW), pp. 335–352.
- IFL-1997-Wakeling #compilation #haskell #java #virtual machine
- A Haskell to Java Virtual Machine Code Compiler (DW), pp. 39–52.
- FPCA-1991-WakelingR #lazy evaluation
- Linearity and Laziness (DW, CR), pp. 215–240.