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, Ian
and
Talcott, Carolyn
1992.
Inferring the equivalence of functional programs that mutate data.
Theoretical Computer Science,
Vol. 105,
Issue. 2,
p.
167.
Mason, I.A.
and
Talcott, C.L.
1992.
References, local variables and operational reasoning.
p.
186.
Sabry, AMR
and
Felleisen, Matthias
1993.
Reasoning about programs in continuation-passing style.
LISP and Symbolic Computation,
Vol. 6,
Issue. 3-4,
p.
289.
Honsell, Furio
Mason, Ian A.
Smith, Scott
and
Talcott, Carolyn
1993.
Computer Science Logic.
Vol. 702,
Issue. ,
p.
309.
Talcott, Carolyn
1993.
A theory of binding structures and applications to rewriting.
Theoretical Computer Science,
Vol. 112,
Issue. 1,
p.
99.
Banerjee, Anindya
and
Schmidt, David A.
1994.
Mathematical Foundations of Programming Semantics.
Vol. 802,
Issue. ,
p.
587.
Eifrig, Jonathan
Smith, Scott
Trifonov, Valery
and
Zwarico, Amy
1994.
Application of OOP type theory.
ACM SIGPLAN Notices,
Vol. 29,
Issue. 10,
p.
16.
Mason, Ian A.
and
Talcott, Carolyn
1994.
Logic, Language and Computation.
Vol. 792,
Issue. ,
p.
225.
Ritter, Elke
and
Pitts, Andrew M.
1995.
Typed Lambda Calculi and Applications.
Vol. 902,
Issue. ,
p.
397.
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.
Stark, Ian
1996.
Categorical models for local names.
Lisp and Symbolic Computation,
Vol. 9,
Issue. 1,
p.
77.
Launchbury, John
and
Sabry, Amr
1997.
Monadic state.
p.
227.
Felleisen, Matthias
and
Weeks, Stephen
1997.
Algol-like Languages.
p.
101.
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.
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.
Swarup, Vipin
Reddy, Uday S.
and
Ireland, Evan
1997.
Algol-like Languages.
p.
235.
Discussions
No Discussions have been published for this article.