A type system for the push-enter model

DOI10.1016/S0020-0190(03)00282-5zbMath1161.68386OpenAlexW2092896144MaRDI QIDQ1014422

Taisook Han, Kwanghoon Choi

Publication date: 28 April 2009

Published in: Information Processing Letters (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/s0020-0190(03)00282-5

zbMATH Keywords

programming languagescompilerstype systemshigher-order functionspush-enter modeltyped compilation

Mathematics Subject Classification ID

Theory of compilers and interpreters (68N20)

Related Items (1)

A type system for the push-enter model

Uses Software

• TALx86

Cites Work

• A type system for the push-enter model
• Implementing lazy functional languages on stock hardware: the Spineless Tagless G-machine

This page was built for publication: A type system for the push-enter model