A partial evaluator for a parallel lambda language

DOI10.1007/BF02943176zbMATH Open0888.68078OpenAlexW2062857935MaRDI QIDQ1372879FDOQ1372879

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

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

zbMATH Keywords

parallel compilerparallel lambda language

Mathematics Subject Classification ID

Formal languages and automata (68Q45)

Cites Work

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

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)