18429 search results - page 455 / 3686 » Typing dynamic typing |
184
click to vote
HOA
1993
15 years 11 months ago
1993
This paper studies termination properties of rewrite systems that are typeable using intersection types. It introduces a notion of partial type assignment on Curryfied Term Rewri...
185
click to vote
CSFW
2004
IEEE
15 years 11 months ago
2004
IEEE
Our goal in this paper is to make secure information flow typing more practical. We propose simple and permissive typing rules for array operations in a simple sequential imperati...
196
click to vote
AFP
1995
Springer
15 years 11 months ago
1995
Springer
The Hindley/Milner type system has been widely adopted as a basis for statically typed functional languages. One of the main reasons for this is that it provides an elegant comprom...
221
click to vote
JFP
2006
15 years 7 months ago
2006
Existing approaches to object encapsulation and confinement either rely on restrictions to programs or require the use of specialised ownership type systems. Syntactic restriction...
191
click to vote
JFLP
2002
15 years 7 months ago
2002
We consider prescriptive type systems for logic programs (as in G