4615 search results - page 397 / 923 » Virtual Classes and Their Implementation |
204
click to vote
PEPM
1994
ACM
15 years 11 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 ...
181
Voted
TAPSOFT
1993
Springer
15 years 11 months ago
1993
Springer
Lamping's optimalgraph reduction technique for the -calculus is generalized to a new class of higher order rewriting systems, called Interaction Systems. Interaction Systems ...
166
click to vote
UIST
1994
ACM
15 years 11 months ago
1994
ACM
Conventional windowing environments provide separate classes of objects for user interface components, or "widgets," and graphical objects. Widgets negotiate layout and ...
184
click to vote
OOPSLA
1990
Springer
15 years 10 months ago
1990
Springer
The paper presents a discussion and a specification of an exception handling system dedicated to object-oriented programming. We show how a full object-oriented representation of ...
164
click to vote
CADE
2006
Springer
15 years 10 months ago
2006
Springer
We present a tool for checking the sufficient completeness of linear, order-sorted equational specifications modulo associativity, commutativity, and identity. Our tool treats this...