1828 search results - page 27 / 366 » First-Class Type Classes |
SAS
2005
Springer
14 years 2 months ago
2005
Springer
Programmers increasingly implement plugin architectures in type-safe object-oriented languages such as Java. A virtual machine can dynamically load class files containing plugins,...
ROOM
2000
13 years 9 months ago
2000
The Unified Modeling Language (UML) has been designed to be a full standard notation for Object-Oriented Modelling. UML is a rather complete set of notations, but it lacks of form...
SIAMCO
2008
13 years 8 months ago
2008
We consider two classes of semilinear wave equations with nonnegative damping which may be of type "on
CADE
2006
Springer
14 years 8 months ago
2006
Springer
Abstract. We describe a second-order type theory with proof irrelevance. Within this framework, we give a representation of a form of Mac Lane set theory and discuss automated supp...
ECOOP
1999
Springer
14 years 24 days ago
1999
Springer
We develop an imperative calculus that provides a formal model for both single and mixin inheritance. By introducing classes and mixins as the basic object-oriented constructs in a...