Sciweavers

18429 search results - page 336 / 3686
» Typing dynamic typing
Sort
View
DBPL
1989
Springer
82views Database» more  DBPL 1989»
15 years 10 months ago
Can Object-Oriented Databases be Statically Typed?
Val Tannen, Peter Buneman, Atsushi Ohori
EUROCRYPT
1989
Springer
15 years 10 months ago
On the Design of Permutation P in DES Type Cryptosystems
Lawrence Brown, Jennifer Seberry
LICS
1990
IEEE
15 years 10 months ago
A Per Model of Polymorphism and Recursive Types
Martín Abadi, Gordon D. Plotkin
OOPSLA
1990
Springer
15 years 10 months ago
Strong Typing of Object-Oriented Languages Revisited
Ole Lehrmann Madsen, Boris Magnusson, Birger M&osl...
POS
1990
Springer
15 years 10 months ago
Type Equivalence Checking in Persistent Object Systems
Richard C. H. Connor, Alfred L. Brown, Quintin I. ...