2596 search results - page 39 / 520 » Gradual Typing for Objects |
133
click to vote
POPL
1995
ACM
15 years 6 months ago
1995
ACM
Traditional techniques for implementing polymorphism use a universal representation for objects of unknown type. Often, this forces a compiler to use universal representations eve...
150
Voted
CORR
2004
Springer
15 years 3 months ago
2004
Springer
The objective of this paper is to develop a functional programming language for quantum computers. We develop a lambda-calculus for the QRAM model, following the work of P. Seling...
117
click to vote
FPCA
1989
15 years 7 months ago
1989
Bounded quantification was introduced by Cardelli and Wegner as a means of typing functions that operate uniformly over all subtypes of a given type. They defined a simple “ob...
115
click to vote
JUCS
2008
15 years 3 months ago
2008
: Presentation types are used in the CLIM interface library to tag graphical output with a type and establish an input type context in which the user may use the keyboard to type i...
231
click to vote
VLDB
2006
ACM
16 years 3 months ago
2006
ACM
: Moving Objects Databases have become an important research issue in recent years. For and querying moving objects, there exists a comprehensive framework of abstract data types t...