Ziggurat is a framework for writing extensible programming languages, and for defining static semantics for those languages.
In other words, it is a language designer's toolkit.
Ziggurat is based on macros. When building a language using Ziggurat, it is easy to make that language extensible by adding a macro system.
Ziggurat macros allow for incremental extension of the language by rewriting. What makes Ziggurat different from other macro systems is that Ziggurat allows the language extender to optionally...
Phosphorous, The Popular Lisp
Joseph F. Miklojcik III, Phosphorous, The Popular Lisp. We present Phosphorous; a programming language that draws on the power and elegance of traditional Lisps such as Common Lisp and...
Fully-parameterized, first-class modules with...
Fully-parameterized, first-class modules with hygienic macros, dissertation by Martin Gasbichler, 2006. It is possible to define a formal semantics for configuration, elaboration, linking,...
Semantics of Memory Management for Polymorphic...
In Semantics of Memory Management for Polymorphic Languages (1997) Greg Morrisett and Robert Harper ...present a static and dynamic semantics for an abstract machine that evaluates...
Post new comment