1982 search results - page 8 / 397 » Parametricity and dependent types |
JFP
2010
14 years 9 months ago
2010
104
click to vote
CASC
2010
Springer
14 years 10 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 4 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 4 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 11 months ago
2007
We present an approach to enriching the type system of ML with a restricted form of de