7681 search results - page 78 / 1537 » Typed Membrane Systems |
162
click to vote
GPCE
2008
Springer
15 years 6 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...
131
click to vote
ICFP
2000
ACM
15 years 9 months ago
2000
ACM
A number of security systems for programming languages have recently appeared, including systems for enforcing some form of ac
160
click to vote
PLDI
1989
ACM
15 years 9 months ago
1989
ACM
We present the rst type reconstruction system which combines the implicit typing of ML with the full power of the explicitly typed second-order polymorphic lambda calculus. The sy...
153
click to vote
LFCS
1994
Springer
15 years 9 months ago
1994
Springer
We study the cube of type assignment systems, as introduced in [13], and confront it with Barendregt's typed -cube [4]. The first is obtained from the latter through applying...
146
click to vote
POPL
1994
ACM
15 years 9 months ago
1994
ACM
This paper presents a variant of the SML module system roduces a strict distinction between abstract types and manifest types (types whose definitions are part of the module speci...