1626 search results - page 50 / 326 » Subtyping with Power Types |
108
Voted
ICLP
1995
Springer
15 years 6 months ago
1995
Springer
The purpose of this paper is to study the problem of complete type inferencing for polymorphic order-sorted logic programs. We show that previous approaches are incomplete even if...
114
click to vote
CSL
2001
Springer
15 years 7 months ago
2001
Springer
Abstract. In this paper we show how to extend a constructive type theory with a principle that captures the spirit of Markov’s principle from constructive recursive mathematics. ...
116
Voted
ECOOP
1998
Springer
15 years 6 months ago
1998
Springer
Abstract. An object-oriented language that permits changing the behavior of a class or of a single object is said to support computational reflection. Existing reflective facilitie...
130
click to vote
ICNC
2005
Springer
15 years 8 months ago
2005
Springer
We have developed a calculus, called Ipi, for describing the aberrance in biological models. Our approach extends the traditional pi calculus to handle aberrant process in the sign...
129
Voted
JOT
2007
15 years 2 months ago
2007
State machines can be used to specify the behaviour of objects in a system by describing the relationships between the states of the object and its ability to respond to events pr...