Compiling lazy functional programs for the Java Virtual Machine

  • Authors:
  • David Wakeling

  • Affiliations:
  • School of Engineering and Computer Science, University of Exeter, Exeter EX4 4PT, UK (web: http:F/F/www.dcs.exeter.ac.ukF/&tilde/david)

  • Venue:
  • Journal of Functional Programming
  • Year:
  • 1999

Quantified Score

Hi-index 0.00

Visualization

Abstract

In this paper, we show how lazy functional programs can be compiled for the Java Virtual Machine using a mapping between a version of the 〈v, G〉-machine and the Java Virtual Machine. This mapping is elegant – the description is entirely straightforward – and efficient – using it, both code size and execution speed are of the same order of magnitude as those obtained with a traditional functional language bytecode interpreter. In future, our work could serve as the basis of an interface between Haskell and Java.