7555 search results - page 66 / 1511 » The Type System of DBPL |
119
Voted
APLAS
2001
ACM
15 years 7 months ago
2001
ACM
138
Voted
TACAS
2000
Springer
15 years 7 months ago
2000
Springer
143
Voted
MPC
1995
Springer
15 years 7 months ago
1995
Springer
Abstract. This paper is about exceptions handling using classical techniques of program extraction. We propose an impredicative formalization in the calculus of constructions and w...
88
Voted
ACISP
2010
Springer
15 years 5 months ago
2010
Springer
120
Voted
CATS
2006
15 years 5 months ago
2006