PLDI
2010
ACM
13 years 10 months ago
2010
ACM
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...
Publication
MetaML is a statically typed functional programming language with special support for program generation. In addition to providing the standard features of contemporary programming...
GTTSE
2007
Springer
15 years 3 months ago
2007
Springer
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...
Publication
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...
Lab
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...
11
posts
with
5433
views
5433
views
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...