Sciweavers

2335 search results - page 26 / 467
» Type Checking Type Classes
Sort
View
123
Voted
CSL
2009
Springer
16 years 1 months ago
Efficient Type-Checking for Amortised Heap-Space Analysis
Martin Hofmann, Dulma Rodriguez
WCRE
1999
IEEE
15 years 10 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 10 months ago
Type Equivalence Checking in Persistent Object Systems
Richard C. H. Connor, Alfred L. Brown, Quintin I. ...
SAS
1994
Springer
15 years 10 months ago
Directional Type Checking of Logic Programs
Alexander Aiken, T. K. Lakshman