Searching for "Syntactic Control of Interference." – sorted by Relevance.
42 documents found, showing 1 through 10.
Next 10 →
-
Decidability in Syntactic Control of Interference
- …Decidability in Syntactic Control of Interference J. Laird Dept. of Informatics, University…
- Cited by 2 (1 self) – Add To MetaCart
-
Syntactic Control of Interference Revisited
- …O'Hearn et al. Syntactic Control of Interference Revisited P. W. O'Hearn 1 Syracuse University…
- Cited by 36 (8 self) – Add To MetaCart
-
A Model for Syntactic Control of Interference
- …'Hearn 2 Reynolds' (1978,1989) syntactic control of interference approaches these issues from a linguistic…
- Cited by 18 (4 self) – Add To MetaCart
-
Type reconstruction for syntactic control of interference, part 2
- …Type Reconstruction for Syntactic Control of Interference, Part 2 Hongseok Yang Howard Huang…
- Cited by 1 (0 self) – Add To MetaCart
-
unknown title
- … with imperative features based on Reynolds’s Syntactic Control of Interference. The restriction on contraction…
- Add To MetaCart
-
Type reconstruction for SCI
- … for SCIR [10], atype system for a language with syntactic control of interference. SCIR guarantees…
- Cited by 3 (3 self) – Add To MetaCart
-
Imperative Lambda Calculus Revisited
- … system that solves these problems using ideas from Reynolds's Syntactic Control of Interference. We also…
- Cited by 3 (1 self) – Add To MetaCart
-
Electronic Notes in Theoretical Computer Science 1 (1995) to appear
- …. Freyd et al 1 Introduction This paper is a companion paper to Syntactic Control of Interference…
- Add To MetaCart
-
Resource Interpretations, Bunched Implications and the alphalambda-calculus
- … syntactic control of interference and Idealized Algol, imperative languages based on affine and simply…
- Cited by 2 (0 self) – Add To MetaCart
-
Bireflectivity
- … Abstract Motivated by a model for syntactic control of interference, we introduce a general categorical…
- Add To MetaCart
Showing 1 through 10.
Next 10 →
