Crossref Citations
This article has been cited by the following publications. This list is generated based on data provided by Crossref.
Sands, David
1991.
Foundations of Software Technology and Theoretical Computer Science.
Vol. 560,
Issue. ,
p.
25.
Agha, Gul
Mason, Ian A.
Smith, Scott
and
Talcott, Carolyn
1992.
CONCUR '92.
Vol. 630,
Issue. ,
p.
565.
Mason, I.A.
and
Talcott, C.L.
1992.
References, local variables and operational reasoning.
p.
186.
Mason, Ian
and
Talcott, Carolyn
1992.
Inferring the equivalence of functional programs that mutate data.
Theoretical Computer Science,
Vol. 105,
Issue. 2,
p.
167.
Sabry, AMR
and
Felleisen, Matthias
1993.
Reasoning about programs in continuation-passing style.
LISP and Symbolic Computation,
Vol. 6,
Issue. 3-4,
p.
289.
Talcott, Carolyn
1993.
A theory of binding structures and applications to rewriting.
Theoretical Computer Science,
Vol. 112,
Issue. 1,
p.
99.
Honsell, Furio
Mason, Ian A.
Smith, Scott
and
Talcott, Carolyn
1993.
Computer Science Logic.
Vol. 702,
Issue. ,
p.
309.
Eifrig, Jonathan
Smith, Scott
Trifonov, Valery
and
Zwarico, Amy
1994.
Application of OOP type theory.
ACM SIGPLAN Notices,
Vol. 29,
Issue. 10,
p.
16.
Banerjee, Anindya
and
Schmidt, David A.
1994.
Mathematical Foundations of Programming Semantics.
Vol. 802,
Issue. ,
p.
587.
Mason, Ian A.
and
Talcott, Carolyn
1994.
Logic, Language and Computation.
Vol. 792,
Issue. ,
p.
225.
Eifrig, Jonathan
Smith, Scott
Trifonov, Valery
and
Zwarico, Amy
1995.
An interpretation of typed OOP in a language with state.
LISP and Symbolic Computation,
Vol. 8,
Issue. 4,
p.
357.
Ritter, Elke
and
Pitts, Andrew M.
1995.
Typed Lambda Calculi and Applications.
Vol. 902,
Issue. ,
p.
397.
Stark, Ian
1996.
Categorical models for local names.
Lisp and Symbolic Computation,
Vol. 9,
Issue. 1,
p.
77.
Mason, Ian A.
1997.
A first order logic of effects.
Theoretical Computer Science,
Vol. 185,
Issue. 2,
p.
277.
Gordon, A. D.
Hankin, P. D.
and
Lassen, S. B.
1997.
Foundations of Software Technology and Theoretical Computer Science.
Vol. 1346,
Issue. ,
p.
74.
Launchbury, John
and
Sabry, Amr
1997.
Monadic state.
p.
227.
Felleisen, Matthias
and
Weeks, Stephen
1997.
Algol-like Languages.
p.
101.
Swarup, Vipin
Reddy, Uday S.
and
Ireland, Evan
1997.
Algol-like Languages.
p.
235.
Stark, Ian
1997.
Typed Lambda Calculi and Applications.
Vol. 1210,
Issue. ,
p.
336.
Launchbury, John
and
Sabry, Amr
1997.
Monadic state.
ACM SIGPLAN Notices,
Vol. 32,
Issue. 8,
p.
227.
Discussions
No Discussions have been published for this article.