828 search results - page 9 / 166 » types 2000 |
CSL
2000
Springer
13 years 12 months ago
2000
Springer
We introduce basic concepts from object-oriented programming into dependent type theory based on the idea of modelling objects as interactive programs. We consider methods, interf...
SFP
2000
13 years 9 months ago
2000
: We describe an algorithm approximatingthe following question: Given two types t1 and t2, are there instances (t1) and (t2) denoting a common element? By answering this question w...
CSL
2000
Springer
13 years 12 months ago
2000
Springer
This paper introduces a typed λ-calculus called λPower , a predicative reformulation of part of Cardelli’s power type system. Power types integrate subtyping into the typing t...
EOR
2000
13 years 7 months ago
2000
This paper addresses the problem of scheduling randomly arriving tasks of dierent types at a diversi
APAL
2000
13 years 7 months ago
2000
It is shown how to restrict recursion on notation in all finite types so as to characterize the polynomial time computable functions. The restrictions are obtained by using a rami...