Crossref Citations
This article has been cited by the following publications. This list is generated based on data provided by
Crossref.
Talpin, J.-P.
and
Jouvelot, P.
1992.
The type and effect discipline.
p.
162.
Talpin, Jean-Pierre
and
Jouvelot, Pierre
1993.
Static Analysis.
Vol. 724,
Issue. ,
p.
87.
Chen, Kung
and
Odersky, Martin
1994.
Theoretical Aspects of Computer Software.
Vol. 789,
Issue. ,
p.
347.
Solberg, Kirsten Lackner
Nielson, Hanne Riis
and
Nielson, Flemming
1994.
Static Analysis.
Vol. 864,
Issue. ,
p.
408.
Yi, Kwangkeun
1994.
Static Analysis.
Vol. 864,
Issue. ,
p.
238.
Tang, Yan Mei
and
Jouvelot, Pierre
1994.
Theoretical Aspects of Computer Software.
Vol. 789,
Issue. ,
p.
224.
Ørbæk, Peter
1994.
Compiler Construction.
Vol. 786,
Issue. ,
p.
1.
Kobayashi, Naoki
Nakade, Motoki
and
Yonezawa, Akinori
1995.
Static Analysis.
Vol. 983,
Issue. ,
p.
225.
Palsberg, Jens
and
Ørb⇓ek, Peter
1995.
Static Analysis.
Vol. 983,
Issue. ,
p.
314.
Kwangkeun Yi
Sukyoung Ryu
and
Ki-Hyun Pyun
1996.
Estimating uncaught exceptions in Standard ML programs from type-based equations.
p.
455.
Greiner, John
1996.
Weak polymorphism can be sound.
Journal of Functional Programming,
Vol. 6,
Issue. 1,
p.
111.
Tofte, Mads
and
Talpin, Jean-Pierre
1997.
Region-Based Memory Management.
Information and Computation,
Vol. 132,
Issue. 2,
p.
109.
Thiemann, Peter J.
1997.
Correctness of a Region-Based Binding-Time Analysis.
Electronic Notes in Theoretical Computer Science,
Vol. 6,
Issue. ,
p.
365.
Nielson, Flemming
Riis Nielson, Hanne
and
Amtoft, Torben
1997.
Analysis and Verification of Multiple-Agent Languages.
Vol. 1192,
Issue. ,
p.
207.
Tofte, Mads
1998.
A brief introduction to regions.
p.
186.
Nielson, Hanne Riis
and
Nielson, Flemming
1998.
Compiler Construction.
Vol. 1383,
Issue. ,
p.
109.
Kieburtz, Richard B.
1998.
Taming effects with monadic typing.
p.
51.
Tofte, Mads
and
Birkedal, Lars
1998.
A region inference algorithm.
ACM Transactions on Programming Languages and Systems,
Vol. 20,
Issue. 4,
p.
724.
Chan, E.C.
Boyland, J.T.
and
Scherlis, W.L.
1998.
Promises: limited specifications for analysis and manipulation.
p.
167.
Shao, Zhong
and
Trifonov, Valery
1998.
Types in Compilation.
Vol. 1473,
Issue. ,
p.
116.
Discussions
No Discussions have been published for this article.