1412 search results - page 4 / 283 » types 2004 |
167
click to vote
RTA
2004
Springer
15 years 12 months ago
2004
Springer
Several authors devised type-based termination criteria for ML-like languages allowing non-structural recursive calls. We extend these works to general rewriting and dependent type...
176
click to vote
IFIP
2004
Springer
16 years 11 hour ago
2004
Springer
Dependent type systems are promising tools programmers can use to increase the reliability and security of their programs. Unfortunately, dependently-typed programming languages re...