161
Voted
PEPM
2007
ACM
16 years 10 months ago
2007
ACM
programming languages community is vigorously pursuing ways to incorporate F!-style indexed types into programming languages. This paper advocates Concoqtion, a practical approach ...
141
Voted
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...
199
click to vote
Book
"This book describes different type theories (theories of types, polymorphic and monomorphic sets, and subsets) from a computing science perspective. It is intended for resear...
173
click to vote
Book
"Constructive Type theory has been a topic of research interest to computer
scientists, mathematicians, logicians and philosophers for a number of years.
For computer scient...
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...