scientific article; zbMATH DE number 1692893

MaRDI QIDQ2763633zbMATH OpenFDO

Authors Kwanghoon Choi, Hyun-Il Lim, Taisook Han

Publication date 21 January 2002

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2024/20240092

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18)

Recommendations

• Compiling lazy functional programs for the Java Virtual Machine
• From natural semantics to C: A formal derivation of two STG machines
• Implementing lazy functional languages on stock hardware: the Spineless Tagless G-machine
• The spineless tagless G-machine, naturally
• The spineless tagless G-machine, naturally

Cited in

(6)

• Memory-efficient tail calls in the JVM with imperative functional objects
• Implementing lazy functional languages on stock hardware: the Spineless Tagless G-machine
• scientific article; zbMATH DE number 4045127 (Why is no real title available?)
• The dynamic compilation of lazy functional programs
• Compiling lazy functional programs for the Java Virtual Machine
• From natural semantics to C: A formal derivation of two STG machines

Describes a project that uses

Uses Software

• Haskell
• GHC

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2763633)