7555 search results - page 70 / 1511 » The Type System of DBPL |
POPL
1991
ACM
14 years 11 days 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,...
TIC
2000
Springer
14 years 13 days 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 ...
TLDI
2010
ACM
14 years 5 months 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...
GPCE
2008
Springer
13 years 10 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...
ICFP
2000
ACM
14 years 1 months ago
2000
ACM
A number of security systems for programming languages have recently appeared, including systems for enforcing some form of ac