The following pages link to Embedded interpreters (Q3367665):
Displayed 4 items.
- On multi-language abstraction. Towards a static analysis of multi-language programs (Q2233542) (← links)
- Embedding an interpreted language using higher-order functions and types (Q2913927) (← links)
- Finally tagless, partially evaluated: Tagless staged interpreters for simpler typed languages (Q3644934) (← links)
- Correctness of compiling polymorphism to dynamic typing (Q5371998) (← links)