A partial evaluator for a parallel lambda language

DOI10.1007/BF02943176MaRDI QIDQ1372879zbMATHOpenAlexFDO

Authors Hairong Kuang, Kai Lin, Yong-Qiang Sun

Publication date 15 December 1997

Published in Journal of Computer Science and Technology (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/bf02943176

zbMATH Keywords

parallel compilerparallel lambda language

Mathematics Subject Classification ID

Formal languages and automata (68Q45)

Recommendations

• scientific article; zbMATH DE number 1863305
• A partial evaluator for the untyped lambda-calculus
• The development of a partial evaluator for extended lambda calculus
• scientific article; zbMATH DE number 1254023
• Publication:3026318

Cites work

• scientific article; zbMATH DE number 3692700 (Why is no real title available?)
• scientific article; zbMATH DE number 177776 (Why is no real title available?)
• Automatic autoprojection of recursive equations with global variables and abstract data types
• Automatic binding time analysis for a typed \(\lambda\)-calculus
• TEMPO: A unified treatment of binding time and parameter passing concepts in programming languages

Cited in

(2)

• A partial evaluator for the untyped lambda-calculus
• Lambda-calculi for (strict) parallel functions

This page was built for publication: A partial evaluator for a parallel lambda language

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