Home

David__Espinosa


Building interpreters by transforming stratified monads. Unpublished manuscript

Language Extensibility via First-class Interpreters and Constructive Modules

Semantic Lego