7555 search results - page 70 / 1511 » The Type System of DBPL |
115
Voted
POPL
1991
ACM
15 years 7 months ago
1991
ACM
We present a new approach to the polymorphic typing of data accepting in-place modification in ML-like languages. This approach is based on restrictions over type generalization,...
158
click to vote
TIC
2000
Springer
15 years 7 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 ...
136
click to vote
TLDI
2010
ACM
16 years 8 days ago
2010
ACM
In the GADT (Generalized Algebraic Data Types) type system, a pattern-matching branch can draw type information from both the scrutinee type and the data constructor type. Even th...
139
Voted
GPCE
2008
Springer
15 years 4 months ago
2008
Springer
Building complex component-based software architectures can lead to subtle assemblage errors. In this paper, we introduce a typesystem-based approach to avoid message handling err...
110
click to vote
ICFP
2000
ACM
15 years 7 months ago
2000
ACM
A number of security systems for programming languages have recently appeared, including systems for enforcing some form of ac