Stackability in the simply-typed call-by-value lambda calculus

DOI10.1016/S0167-6423(96)00040-8zbMATH Open0939.03017MaRDI QIDQ1818310

Anindya Banerjee, David A. Schmidt

Publication date: 5 July 2000

Published in: Science of Computer Programming (Search for Journal in Brave)

zbMATH Keywords

functional programmingblock-structureclosure analysis\(\lambda\)-abstractionenvironment stackabilitysimply typed, call-by-value \(\lambda\)-calculusstack implementation

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Combinatory logic and lambda calculus (03B40)

Related Items (2)

Title not available (Why is that?) ⋮ Title not available (Why is that?)

This page was built for publication: Stackability in the simply-typed call-by-value lambda calculus

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