scientific article; zbMATH DE number 4013996

MaRDI QIDQ3026313zbMATH OpenFDO

Authors Andrew W. Appel, David MacQueen

Publication date 1987

zbMATH Keywords

environment managementfunctional languageparsingtype checking

Mathematics Subject Classification ID

General topics in the theory of software (68N01)

Cited in

(6)

• \(\pi\)-RED - a graph reducer for a full-fledged \(\lambda\)-calculus
• Conditional rewriting logic as a unified model of concurrency
• Continuation-based transformations for coordination languages
• A compiler for MSVL and its applications
• Real-time MLton: a standard ML runtime for real-time functional programs
• A compiler for nondeterministic term rewriting systems

This page was built for publication:

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