Equivalence in Functional Languages with Effects

DMCA

Equivalence in Functional Languages with Effects (1991)

Cached

Download Links

[turing.une.edu.au]

Other Repositories/Bibliography

DBLP

by Ian Mason , Carolyn Talcott

Citations:

120 - 13 self

Citations

1302	Actors: a model of concurrent computation in distributed systems - Agha - 1986
1275	The Lambda Calculus: Its Syntax and Semantics. - Barendregt - 1981
465	Viewing control structures as patterns of passing messages - Hewitt - 1977
388	The mechanical evaluation of expressions, - Landin - 1964
292	The revised report on the syntactic theories of sequential control and - Felleisen, Hieb - 1992
270	Polymorphic effect systems. - Lucassen, Gifford - 1988
252	The lazy lambda calculus - ABRAMSKY - 1989
72	Single-threaded polymorphic lambda calculus," - Guzman, Hudak - 1990
59	Types and effects: Towards the integration of functional and imperative programming. - Lucassen - 1987
36	The Calculi of Lambda-v-CS Conversion: A Syntactic Theory of Control and State in Imperative Higher-Order Programming Languages - Felleisen - 1987
30	Programming, transforming, and proving with function abstractions and memories. - Mason, Talcott - 1989
27	The semantics of destructive Lisp - Mason, Talcott
24	Side effects and aliasing can have simple axiomatic descriptions. A CM Transactions On Programming Languages And Systems - Boehm - 1988
23	Polymorphic typed lambda-calculi in a type-free axiomatic framework - Feferman - 1990
17	Axiomatizing operational equivalence in the presence of side effects - Mason, Talcott - 1989
12	A theory of variable types. Revista Colombiana de Matemáticas 19 - Feferman - 1975
12	Verification of programs that destructively manipulate data - Mason - 1988
11	1989a] A sound and complete axiomatization of operational equivalence between programs with memory, Fourth annual symposium on logic in computer science - Mason, Talcott
10	Reasoning about programs with effects - Mason, Talcott - 1990
9	Making variables abstract: an equational theory for Russell - Demers, Donahue - 1983
5	Equality in the lazy lambda calculus - Howe - 1989
2	Syntactic semantics - Mason, Talcott