Work

Compiling lazy functional programs for the Java Virtual Machine

Year: 1999

Type: article

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.

Source: Journal of Functional Programming

DOI: 10.1017/s0956796899003603

Author: DAVID WAKELING

Institution: University of Exeter

Language: English

Topic: Logic, programming, and type systems

Subfield: Software

Field: Computer Science

Domain: Physical Sciences

Open Access status: bronze

Funder: University of Cambridge

OpenAlex ID: W2068737373