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.
Nipkow, Tobias
and
Qian, Zhenyu
1992.
Automated Deduction—CADE-11.
Vol. 607,
Issue. ,
p.
66.
O'Keefe, Patrick M.
and
Wand, Mitchell
1992.
ESOP '92.
Vol. 582,
Issue. ,
p.
408.
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.
Hankin, Chris
and
Métayer, Daniel
1994.
Programming Languages and Systems — ESOP '94.
Vol. 788,
Issue. ,
p.
257.
Nielson, Flemming
and
Nielson, Hanne Riis
1994.
Constraints in Computational Logics.
Vol. 845,
Issue. ,
p.
73.
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.
Terrasse, Delphine
1995.
Algebraic Methodology and Software Technology.
Vol. 936,
Issue. ,
p.
230.
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.
Courtenage, Simon
and
Poulovassilis, Alexandra
1995.
Advances in Databases.
Vol. 940,
Issue. ,
p.
24.
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.
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.
Rehof, Jakob
1996.
Strong normalization for non-structural subtyping via saturated sets.
Information Processing Letters,
Vol. 58,
Issue. 4,
p.
157.
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.
Trifonov, Valery
and
Smith, Scott
1996.
Static Analysis.
Vol. 1145,
Issue. ,
p.
349.
Palsberg, Jens
and
Smith, Scott
1996.
Constrained types and their expressiveness.
ACM Transactions on Programming Languages and Systems,
Vol. 18,
Issue. 5,
p.
519.
Henglein, F.
and
Rehof, J.
1997.
The complexity of subtype entailment for simple types.
p.
352.
Nielson, Flemming
Riis Nielson, Hanne
and
Amtoft, Torben
1997.
Analysis and Verification of Multiple-Agent Languages.
Vol. 1192,
Issue. ,
p.
207.
Discussions
No Discussions have been published for this article.