1313 search results - page 90 / 263 » Generic Universe Types |
141
click to vote
POPL
1994
ACM
15 years 8 months ago
1994
ACM
ions of abstract domains for logic programming: open product and generic pattern construction Agostino Cortesia; , Baudouin Le Charlierb , Pascal Van Hentenryckc aDipartimento di I...
124
click to vote
TLCA
2001
Springer
15 years 9 months ago
2001
Springer
In this paper, we introduce a new type system, the Implicit Calculus of Constructions, which is a Curry-style variant of the Calculus of Constructions that we extend by adding an i...
149
click to vote
APLAS
2005
ACM
15 years 10 months ago
2005
ACM
act Interpretation Perspective on Linear vs. Branching Time Francesco Ranzato and Francesco Tapparo Dipartimento di Matematica Pura ed Applicata, Universit`a di Padova, Italy It is...
119
click to vote
CCGRID
2005
IEEE
15 years 10 months ago
2005
IEEE
— The arrival of the P2P model has opened many new avenues for research within the field of distributed computing. This is mainly due to important practical features (such as su...
138
click to vote
WEBDB
2000
Springer
15 years 8 months ago
2000
Springer
The World Wide Web promises to transform human society by making virtually all types of information instantly available everywhere. Two prerequisites for this promise to be realiz...