337 search results - page 1 / 68 » Types and Programming Languages: The Next Generation |
LICS
2003
IEEE
13 years 9 months ago
2003
IEEE
ECOOP
2000
Springer
13 years 8 months ago
2000
Springer
The integration of the telephone network and the internet enables convergence of voice and data services. The explosion of information appliances also provides new service opportun...
VEE
2009
ACM
13 years 11 months ago
2009
ACM
Today’s web applications are pushing the limits of modern web browsers. The emergence of the browser as the platform of choice for rich client-side applications has shifted the ...
APLAS
2005
ACM
13 years 10 months ago
2005
ACM
POPL
2006
ACM
14 years 4 months ago
2006
ACM
In the spirit of Landin, we present a calculus of dependent types to serve as the semantic foundation for a family of languages called data description languages. Such languages, ...