## 97 Citations

### Type reconstruction for syntactic control of interference. 2

- Computer ScienceProceedings of the 1998 International Conference on Computer Languages (Cat. No.98CB36225)
- 1998

This paper improves upon H. Huang and U.S. Reddy's type inference system for SCI based languages in two significant ways, eliminating the need for explicit coercion operators in terms and considering adding let-bound polymorphism, which appears to be nontrivial in the presence of interference control.

### A Fully Abstract Relational Model of Syntactic Control of Interference

- Computer ScienceCSL
- 2002

Using familiar constructions on the category of monoids, a fully abstract model of Basic SCI is constructed, showing that Reddy's model is fully abstract, which was not previously known.

### Using Haskell to Implement Syntactic Control of Interference

- Computer Science, Linguistics
- 2008

Inference rules and denotational semantics functions are presented for pcf, Idealized algol, sci, and scir and an extension to haskell98 is used to define haskell functions for those languages’ semantics and to define type constructions to statically check their syntax.

### Imperative Lambda Calculus Revisited

- Computer Science
- 1997

A revised type system for Imperative Lambda Calculus is proposed that is too restrictive and lacks the subject reduction property, and extended to handle Hindley-Milner style polymorphism and devise type reconstruction algorithms.

### Beyond ML

- Computer ScienceSIGP
- 1997

We believe that the most pressing problem in programming-language design is to control the interference that arises when functional and imperative programming are combined, and to give the user more…

### Categorical Models of Syntactic Control of Intereference Revisited, Revisited

- Computer Science
- 2007

The previously proposed notion of bireflective model is rejected as being too restrictive to accommodate important concrete models based on game semantics and object spaces and a new, more general notion of model is proposed and the coherence property proved.

### Syntactic Control of Interference for Separation Logic ( Preliminary Report )

- Computer Science
- 2011

A system of rules based on the principles of syntactic control of interference is provided, which provides a clear formalization of the Owicki-Gries rules whose soundness is obvious and also respects the traditional conventions of variable usage so that pitfalls in reasoning can be avoided.

### From Algol to polymorphic linear lambda-calculus

- Computer ScienceJACM
- 2000

This work translates two variations on Algol 60 into a purely functional language with polymorphic linear types, and demonstrates that a linearly-typed functional language can be at least as expressive as AlGol.

### Type Reconstruction for SCI , Part 2 Hongseok

- Computer Science
- 1997

This paper makes SCI-based languages more practical by introducing a revised version of Huang and Reddy's type reconstruction system HR96] with two signiicant improvements, including the need for explicit coercion operators in terms.

## References

SHOWING 1-10 OF 83 REFERENCES

### Syntactic Control of Inference, Part 2

- Computer ScienceICALP
- 1989

In 1978, we proposed that Algol-like languages should be constrained so that aliasing between variables and, more generally, interference between commands or procedures would be syntactically…

### Syntactic control of interference

- Computer SciencePOPL
- 1978

This work shows how to eliminate difficulties by imposing syntactic restrictions, without prohibiting the kind of constructive interference which occurs with higher-order procedures or SIMULA classes, among components of collections named by single identifiers.

### Semantical Analysis of Specification Logic, 2

- Computer ScienceInf. Comput.
- 1993

This interpretation provides the first model for all of Reynold′s axioms (except the equivalences formerly used to define procedural non-interference) and formalizes a method used by Reynolds to reason about programs with multiple levels of abstraction.

### A model for syntactic control of interference

- Computer ScienceMathematical Structures in Computer Science
- 1993

Reynolds' concept of passive type - i.e. types for phrases that do not write to any storage variables - is shown to be closely related, in this model, to Girard's ‘of course’ modality.

### Global state considered unnecessary: An introduction to object-based semantics

- Computer ScienceLISP Symb. Comput.
- 1996

A novel approach based on a notion of objects to characterize them in terms of their observable behavior and it is shown that this leads to considerable accuracy in the semantic modelling of locality and single-threadedness properties of objects.

### Hints on programming language design.

- Computer Science
- 1973

The view that a programming language is a tool which should assist the programmer in the most difficult aspects of his art, namely program design, documentation, and debugging is presented.

### Passivity and independence

- Computer ScienceProceedings Ninth Annual IEEE Symposium on Logic in Computer Science
- 1994

A semantic model is defined which captures the notions of "change", "absence of change" and "independent change" etc by extending the author's "linear logic model of state" with dependence/independence relations so that sequential traces give way to pomset traces.

### Conception, evolution, and application of functional programming languages

- Computer ScienceCSUR
- 1989

The foundations of functional programming languages are examined from both historical and technical perspectives, and current research areas—such as parallelism, nondeterminism, input/output, and state-oriented computations—are examined with the goal of predicting the future development and application of functional languages.