Sciweavers

PEPM
2007
ACM
15 years 2 months ago
Concoqtion: Indexed types now!
programming languages community is vigorously pursuing ways to incorporate F!-style indexed types into programming languages. This paper advocates Concoqtion, a practical approach ...
Emir Pasalic, Jeremy G. Siek, Seth Fogarty, Walid ...

Lab
737views
15 years 4 months ago
Resource Aware Programming (RAP)
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
1337profile views Browse  My Posts »
CherifSalamaStudent, PhD
Rice University
CherifSalama
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...