Multi-stage programming (MSP) provides a disciplined approach to run-time code generation. In the purely functional setting, it has been shown how MSP can be used to reduce the ov...
Edwin Westbrook, Mathias Ricken, Jun Inoue, Yilong...
MetaML is a statically typed functional programming language with special support for program generation. In addition to providing the standard features of contemporary programming...
As domain-specific languages (DSLs) permeate into mainstream software engineering, there is a need for economic methods for implementing languages. Following up on a paper with a s...
Multi-stage programming (MSP) is a paradigm for developing generic software that does not pay a runtime penalty for this generality. This is achieved through concise, carefully-des...
We are interested in studying and developing programming languages techniques such as multi-stage programming, reactive programming, and indexed types and in showing how they can b...
Cherif Salama was born in Cairo, Egypt in 1979. In 2001, he obtained his B.Sc. degree in Electrical Engineering from the Computer and Systems Engineering Department of Ain Shams Un...