Sciweavers

2335 search results - page 26 / 467
» Type Checking Type Classes
Sort
View
WCRE
1999
IEEE
15 years 6 months ago
Type-Check Elimination: Two Object-Oriented Reengineering Patterns
In reengineering an object-oriented system we want to benefit from the expertise developed in earlier efforts. It is therefore essential to have a way to communicate expertise at ...
Stéphane Ducasse, Tamar Richner, Robb Nebbe
POS
1990
Springer
15 years 6 months ago
Type Equivalence Checking in Persistent Object Systems
Richard C. H. Connor, Alfred L. Brown, Quintin I. ...
SAS
1994
Springer
15 years 5 months ago
Directional Type Checking of Logic Programs
Alexander Aiken, T. K. Lakshman