174 search results - page 14 / 35 » A Typeful Approach to Object-Oriented Programming with Multi... |
OOPSLA
2005
Springer
14 years 6 days ago
2005
Springer
Io is small prototype-based programming language. The ideas in Io are mostly inspired by Smalltalk[1] (all values are objects), Self[2] (prototype-based), NewtonScript[3] (differe...
OOPSLA
2010
Springer
13 years 5 months ago
2010
Springer
Type classes were originally developed in Haskell as a disciplined alternative to ad-hoc polymorphism. Type classes have been shown to provide a type-safe solution to important ch...
ECOOP
1997
Springer
13 years 11 months ago
1997
Springer
A type inclusion test is a procedure to decide whether two types are related by a given subtyping relationship. An efficient implementation of the type inclusion test plays an impo...
PLDI
2009
ACM
14 years 7 months ago
2009
ACM
Class sharing is a new language mechanism for building extensible software systems. Recent work has separately explored two different kinds of extensibility: first, family inherit...
VL
2002
IEEE
13 years 11 months ago
2002
IEEE
Java program debugging was investigated in computer science students who used a software debugging environment (SDE) that provided concurrently displayed, adjacent, multiple and l...