Embedded interpreters

From MaRDI portal

Revision as of 15:28, 4 February 2024 by Import240129110113 (talk | contribs) (Created automatically from import240129110113)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Publication:3367665

Jump to:navigation, search

DOI10.1017/S0956796804005398zbMath1086.68525MaRDI QIDQ3367665

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)

Related Items (4)

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

This page was built for publication: Embedded interpreters

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:3367665&oldid=16628659"