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.
Mason, I.A.
and
Talcott, C.L.
1992.
References, local variables and operational reasoning.
p.
186.
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.
Honsell, Furio
Mason, Ian A.
Smith, Scott
and
Talcott, Carolyn
1993.
Computer Science Logic.
Vol. 702,
Issue. ,
p.
309.
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.
Mason, Ian A.
and
Talcott, Carolyn
1994.
Logic, Language and Computation.
Vol. 792,
Issue. ,
p.
225.
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.
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.
Launchbury, John
and
Sabry, Amr
1997.
Monadic state.
ACM SIGPLAN Notices,
Vol. 32,
Issue. 8,
p.
227.
Stark, Ian
1997.
Typed Lambda Calculi and Applications.
Vol. 1210,
Issue. ,
p.
336.
Swarup, Vipin
Reddy, Uday S.
and
Ireland, Evan
1997.
Algol-like Languages.
p.
235.
Felleisen, Matthias
and
Weeks, Stephen
1997.
Algol-like Languages.
p.
101.
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.
Mason, Ian A.
1997.
A first order logic of effects.
Theoretical Computer Science,
Vol. 185,
Issue. 2,
p.
277.
Discussions
No Discussions have been published for this article.