2740 search results - page 105 / 548 » Typing the Specialization Interface |
116
Voted
PVM
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. The Fortran language has evolved substantially from the Fortran 77 bindings defined in the MPI-1 (Message Passing Interface) standard. Fortran 90 introduced interface bl...
130
Voted
ECIR
2004
Springer
15 years 4 months ago
2004
Springer
This paper argues that a new paradigm for information retrieval has evolved that incorporates human attention and mental effort and takes advantage of new types of information obje...
153
click to vote
PEPM
1994
ACM
15 years 7 months ago
1994
ACM
One of the most novel features in the functional programming language Haskell is the system of type classes used to support a combination of overloading and polymorphism. Current ...
146
Voted
EWDW
1990
15 years 7 months ago
1990
The formal description of the semantics of object-oriented data models is still an open problem. Some characteristic features of object-oriented data models, such as methods and i...
77
Voted
COMBINATORICS
2007
15 years 3 months ago
2007
A genus one labeled circle tree is a tree with its vertices on a circle, such that together they can be embedded in a surface of genus one, but not of genus zero. We define an e-...