Embedding an interpreted language using higher-order functions and types

Authors:
Norman Ramsey
Affiliations:
Harvard University
Venue:
Proceedings of the 2003 workshop on Interpreters, virtual machines and emulators
Year:
2003

Citing 6
Cited 18

Tcl and the Tk toolkit

Tcl and the Tk toolkit
Elk: the Extension Language Kit

Computing Systems
Lua—an extensible extension language

Software—Practice & Experience
Type-directed partial evaluation

POPL '96 Proceedings of the 23rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
A Simple Solution to Type Specialization

ICALP '98 Proceedings of the 25th International Colloquium on Automata, Languages and Programming
Extending and embedding Perl

Extending and embedding Perl

FUNCTIONAL PEARL Pickler combinators

Journal of Functional Programming
Embedded interpreters

Journal of Functional Programming
Random testing of C calling conventions

Proceedings of the sixth international symposium on Automated analysis-driven debugging
Staged allocation: a compositional technique for specifying and implementing procedure calling conventions

Conference record of the 33rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Operational semantics for multi-language programs

Proceedings of the 34th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Generics for the working ML'er

ML '07 Proceedings of the 2007 workshop on Workshop on ML
Boomerang: resourceful lenses for string data

Proceedings of the 35th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Quotient lenses

Proceedings of the 13th ACM SIGPLAN international conference on Functional programming
Safe Cross-Language Inheritance

ECOOP '08 Proceedings of the 22nd European conference on Object-Oriented Programming
Operational semantics for multi-language programs

ACM Transactions on Programming Languages and Systems (TOPLAS)
Foundations for Bidirectional Programming

ICMT '09 Proceedings of the 2nd International Conference on Theory and Practice of Model Transformations
Bidirectional Transformations: A Cross-Discipline Perspective

ICMT '09 Proceedings of the 2nd International Conference on Theory and Practice of Model Transformations
Language embedding and optimization in mython

DLS '09 Proceedings of the 5th symposium on Dynamic languages
ML Module Mania: A Type-Safe, Separately Compiled, Extensible Interpreter

Electronic Notes in Theoretical Computer Science (ENTCS)
Adventures in bidirectional programming

FSTTCS'07 Proceedings of the 27th international conference on Foundations of software technology and theoretical computer science
Embedding an interpreted language using higher-order functions and types

Journal of Functional Programming
Linguistic foundations for bidirectional transformations: invited tutorial

PODS '12 Proceedings of the 31st symposium on Principles of Database Systems
Three complementary approaches to bidirectional programming

SSGIP'10 Proceedings of the 2010 international spring school conference on Generic and Indexed Programming

Quantified Score

Hi-index	0.00

Visualization

Abstract

Using an embedded, interpreted language to control a complicated application can have significant software-engineering benefits. But existing interpreters are designed for embedding into C code. To embed an interpreter into a different language requires a suitable API. Lua-ML is a new API that uses higher-order functions and types to simplify the use of an embedded interpreter. A typical application-program function can be added to a Lua-ML interpreter simply by describing the function's type.