1982 search results - page 8 / 397 » Parametricity and dependent types |
JFP
2010
14 years 8 months ago
2010
CASC
2010
Springer
14 years 8 months ago
2010
Springer
Computer algebra in scientific computation squarely faces the dilemma of natural mathematical expression versus efficiency. While higher-order programming constructs and parametri...
IFIP
2004
Springer
15 years 3 months 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...
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...
JFP
2007
14 years 9 months ago
2007
We present an approach to enriching the type system of ML with a restricted form of de