Embedded interpreters

DOI10.1017/S0956796804005398MaRDI QIDQ3367665zbMATH OpenFDO

Authors Nick Benton

Publication date 25 January 2006

Published in Journal of Functional Programming (Search for Journal in Brave)

zbMATH Keywords

statically-typed functional languages

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18)

Recommendations

• Embedding an interpreted language using higher-order functions and types
• Modular development of interpreters from semantic building blocks
• On interpretation of functional programming languages
• Finally tagless, partially evaluated: Tagless staged interpreters for simpler typed languages
• scientific article; zbMATH DE number 2080282

Cited in

(6)

• Correctness of compiling polymorphism to dynamic typing
• On multi-language abstraction. Towards a static analysis of multi-language programs
• Embedding an interpreted language using higher-order functions and types
• A minimalist approach to objects
• Finally tagless, partially evaluated: Tagless staged interpreters for simpler typed languages
• Compiling embedded languages

This page was built for publication: Embedded interpreters

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