Embedding an interpreted language using higher-order functions and types

DOI10.1017/S0956796811000219zbMath1248.68135MaRDI QIDQ2913927

Norman Ramsey

Publication date: 21 September 2012

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

zbMATH Keywords

glue functionLua-ML

Mathematics Subject Classification ID

Theory of compilers and interpreters (68N20) Functional programming and lambda calculus (68N18)

Related Items

Correctness of compiling polymorphism to dynamic typing

Uses Software

• SWIG
• OCaml
• TK

Cites Work

• Embedded interpreters