18429 search results - page 93 / 3686 » Typing dynamic typing |
CL
2000
Springer
15 years 8 months ago
2000
Springer
Generalized databases will be examined, in which attributes can be sets of attributes, or sets of sets of attributes, and other higher type constructs. A precise semantics will be ...
146
click to vote
LICS
1999
IEEE
15 years 8 months ago
1999
IEEE
We consider type systems that combine universal types, recursive types, and object types. We study type inference in these systems under a rank restriction, following Leivant'...
151
click to vote
IMPERIAL
1993
15 years 8 months ago
1993
This work expounds the notion that (structured) categories are syntax free presentations of type theories, and shows some of the ideas involved in deriving categorical semantics f...
142
click to vote
OOPSLA
1989
Springer
15 years 8 months ago
1989
Springer
Method inheritance and data abstraction are central features of objectoriented programming that are attained through a hierarchical organization of classes. Recent studies have sh...
142
click to vote
ESOP
2006
Springer
15 years 8 months ago
2006
Springer
We present a multi-lingual type inference system for checking type safety of programs that use the Java Native Interface (JNI). The JNI uses specially-formatted strings to represe...