7535 search results - page 55 / 1507 » A Type System for CHR |
108
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
134
click to vote
PLDI
1989
ACM
15 years 7 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...
121
click to vote
LFCS
1994
Springer
15 years 7 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...
126
click to vote
POPL
1994
ACM
15 years 7 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...
166
click to vote
TOPLAS
2010
15 years 1 months ago
2010
program constraints are defined over a program’s abstract syntax tree. The JAVACOP compiler automatically enforces these constraints on programs during compilation. The JAVACOP ...