2565 search results - page 60 / 513 » Object type constructors |
114
Voted
SIGMOD
1989
ACM
15 years 6 months ago
1989
ACM
Machiavelli is a polymorphically typed programming language in the spirit of ML, but supports an extended method of type inferencing that makes its polymorphism more general and a...
112
click to vote
ESOP
2000
Springer
15 years 5 months ago
2000
Springer
Abstract. Linear type systems allow destructive operations such as object deallocation and imperative updates of functional data structures. These operations and others, such as th...
143
Voted
TIC
2000
Springer
15 years 5 months ago
2000
Springer
Linear type systems permit programmers to deallocate or explicitly recycle memory, but they are severly restricted by the fact that they admit no aliasing. This paper describes a ...
143
Voted
DAGSTUHL
2007
15 years 3 months ago
2007
Abstract. In this paper, we consider two particular problems of directed graph matching. The first problem concerns graphs with nodes that have been subdivided into classes of di...
136
Voted
ECOOP
2010
Springer
15 years 4 months ago
2010
Springer
Developers using statically typed languages such as C and Java are increasingly having to interoperate with APIs and object models defined in dynamic languages. This impedance mis...