Sciweavers

7529 search results - page 61 / 1506
» The Modula-3 Type System
Sort
View
PLSA
1994
15 years 10 months ago
Engineering a Programming Language: The Type and Class System of Sather
Clemens A. Szyperski, Stephen M. Omohundro, Stepha...
TLCA
1993
Springer
15 years 10 months ago
Pure Type Systems Formalized
James McKinna, Robert Pollack
DBPL
1989
Springer
70views Database» more  DBPL 1989»
15 years 10 months ago
The Type System of DBPL
Florian Matthes, Joachim W. Schmidt
POS
1990
Springer
15 years 10 months ago
Type Equivalence Checking in Persistent Object Systems
Richard C. H. Connor, Alfred L. Brown, Quintin I. ...
138
Voted
FOAL
2007
ACM
15 years 10 months ago
Towards a type system for detecting never-matching pointcut compositions
Tomoyuki Aotani, Hidehiko Masuhara