680 search results - page 38 / 136 » Types for the Ambient Calculus |
139
click to vote
TPHOL
2007
IEEE
15 years 10 months ago
2007
IEEE
We propose a method to extract purely functional contents from logical inductive types in the context of the Calculus of Inductive Constructions. This method is based on a mode con...
135
click to vote
ESOP
2001
Springer
15 years 8 months ago
2001
Springer
Abstract. Languages for intensional type analysis permit ad-hoc polymorphism, or run-time analysis of types. However, such languages require complex, specialized constructs to supp...
130
click to vote
CONCUR
1999
Springer
15 years 8 months ago
1999
Springer
This paper investigates an approach for statically preventing race conditions in an object-oriented language. The setting of this work is a variant of Gordon and Hankin’s concurr...
122
click to vote
ICFP
1996
ACM
15 years 8 months ago
1996
ACM
An extension of the simply-typed lambda calculus is presented which contains both well-structured inductive and coinductive types, and which also identifies a class of types for w...
130
click to vote
ICFP
2008
ACM
16 years 4 months ago
2008
ACM
Reasoning about imperative programs requires the ability to track aliasing and ownership properties. We present a type system that provides this ability, by using regions, capabil...