Crossref Citations
This article has been cited by the following publications. This list is generated based on data provided by
Crossref.
Wadler, Philip
1991.
Is there a use for linear logic?.
ACM SIGPLAN Notices,
Vol. 26,
Issue. 9,
p.
255.
O'Keefe, Patrick M.
and
Wand, Mitchell
1992.
ESOP '92.
Vol. 582,
Issue. ,
p.
408.
Nipkow, Tobias
and
Qian, Zhenyu
1992.
Automated Deduction—CADE-11.
Vol. 607,
Issue. ,
p.
66.
Weber, Andreas
1993.
Design and Implementation of Symbolic Computation Systems.
Vol. 722,
Issue. ,
p.
95.
Tiuryn, Jerzy
and
Wand, Mitchell
1993.
TAPSOFT'93: Theory and Practice of Software Development.
Vol. 668,
Issue. ,
p.
686.
Qian, Zhenyu
and
Nipkow, Tobias
1994.
Reduction and unification in lambda calculi with a general notion of subtype.
Journal of Automated Reasoning,
Vol. 12,
Issue. 3,
p.
389.
Nielson, Flemming
and
Nielson, Hanne Riis
1994.
Constraints in Computational Logics.
Vol. 845,
Issue. ,
p.
73.
Hankin, Chris
and
Métayer, Daniel
1994.
Programming Languages and Systems — ESOP '94.
Vol. 788,
Issue. ,
p.
257.
Hankin, Chris
and
Le Métayer, Daniel
1995.
Lazy type inference and program analysis.
Science of Computer Programming,
Vol. 25,
Issue. 2-3,
p.
219.
Courtenage, Simon
and
Poulovassilis, Alexandra
1995.
Advances in Databases.
Vol. 940,
Issue. ,
p.
24.
Wand, Mitchell
O'Keefe, Patrick
and
Palsberg, Jens
1995.
Strong normalization with non-structural subtyping.
Mathematical Structures in Computer Science,
Vol. 5,
Issue. 3,
p.
419.
Terrasse, Delphine
1995.
Algebraic Methodology and Software Technology.
Vol. 936,
Issue. ,
p.
230.
Barendsen, Erik
and
Smetsers, Sjaak
1996.
Uniqueness typing for functional languages with graph rewriting semantics.
Mathematical Structures in Computer Science,
Vol. 6,
Issue. 6,
p.
579.
Trifonov, Valery
and
Smith, Scott
1996.
Static Analysis.
Vol. 1145,
Issue. ,
p.
349.
Palsberg, Jens
1996.
Type inference for objects.
ACM Computing Surveys,
Vol. 28,
Issue. 2,
p.
358.
Ayres, Robert
and
King, Peter J. H.
1996.
Advances in Databases.
Vol. 1094,
Issue. ,
p.
189.
Rehof, Jakob
1996.
Strong normalization for non-structural subtyping via saturated sets.
Information Processing Letters,
Vol. 58,
Issue. 4,
p.
157.
Palsberg, Jens
and
Smith, Scott
1996.
Constrained types and their expressiveness.
ACM Transactions on Programming Languages and Systems,
Vol. 18,
Issue. 5,
p.
519.
Nielson, Flemming
Riis Nielson, Hanne
and
Amtoft, Torben
1997.
Analysis and Verification of Multiple-Agent Languages.
Vol. 1192,
Issue. ,
p.
207.
Marlow, Simon
and
Wadler, Philip
1997.
A practical subtyping system for Erlang.
p.
136.
Discussions
No Discussions have been published for this article.