A partial evaluator for a parallel lambda language

DOI10.1007/BF02943176zbMath0888.68078OpenAlexW2062857935MaRDI QIDQ1372879

Kai Lin, Hairong Kuang, 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)

Cites Work

• Unnamed Item
• Unnamed Item
• Automatic binding time analysis for a typed \(\lambda\)-calculus
• Automatic autoprojection of recursive equations with global variables and abstract data types
• TEMPO: A unified treatment of binding time and parameter passing concepts in programming languages

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