3319 search results - page 8 / 664 » Type Theoretical Databases |
GG
1990
Springer
15 years 1 months ago
1990
Springer
GI
1990
Springer
15 years 1 months ago
1990
Springer
RTA
2004
Springer
15 years 3 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...
SSDBM
2005
IEEE
15 years 3 months ago
2005
IEEE
As with many large organizations, the Government's data is split in many different ways and is collected at different times by different people. The resulting massive data he...
DBPL
1989
Springer
15 years 1 months ago
1989
Springer