Crossref Citations
This article has been cited by the following publications. This list is generated based on data provided by
Crossref.
Kfoury, Assaf J.
Mairson, Harry G.
Turbak, Franklyn A.
and
Wells, J. B.
1999.
Relating typability and expressiveness in finite-rank intersection type systems (extended abstract).
ACM SIGPLAN Notices,
Vol. 34,
Issue. 9,
p.
90.
Kfoury, Assaf J.
Mairson, Harry G.
Turbak, Franklyn A.
and
Wells, J. B.
1999.
Relating typability and expressiveness in finite-rank intersection type systems (extended abstract).
p.
90.
Dimock, Allyn
Westmacott, Ian
Muller, Robert
Turbak, Franklyn
and
Wells, J. B.
2001.
Functioning without closure.
ACM SIGPLAN Notices,
Vol. 36,
Issue. 10,
p.
14.
Palsberg, Jens
2001.
Type-based analysis and applications.
p.
20.
Dimock, Allyn
Westmacott, Ian
Muller, Robert
Turbak, Franklyn
and
Wells, J. B.
2001.
Functioning without closure.
p.
14.
Ronchi Della Rocca, Simona
2003.
Intersection Typed λ-calculus.
Electronic Notes in Theoretical Computer Science,
Vol. 70,
Issue. 1,
p.
163.
Dunfield, Jana
and
Pfenning, Frank
2003.
Foundations of Software Science and Computation Structures.
Vol. 2620,
Issue. ,
p.
250.
Shivers, Olin
2004.
Higher-order control-flow analysis in retrospect.
ACM SIGPLAN Notices,
Vol. 39,
Issue. 4,
p.
257.
Dougherty, Dan
Ghilezan, Silvia
and
Lescanne, Pierre
2004.
Characterizing strong normalization in a language with control operators.
p.
155.
Neergaard, Peter Møller
and
Mairson, Harry G.
2004.
Types, potency, and idempotency.
p.
138.
Dunfield, Jana
and
Pfenning, Frank
2004.
Tridirectional typechecking.
ACM SIGPLAN Notices,
Vol. 39,
Issue. 1,
p.
281.
Neergaard, Peter Møller
and
Mairson, Harry G.
2004.
Types, potency, and idempotency.
ACM SIGPLAN Notices,
Vol. 39,
Issue. 9,
p.
138.
Dunfield, Jana
and
Pfenning, Frank
2004.
Tridirectional typechecking.
p.
281.
Liquori, Luigi
and
Ronchi della Rocca, Simona
2005.
Towards an Intersection Typed System à la Church.
Electronic Notes in Theoretical Computer Science,
Vol. 136,
Issue. ,
p.
43.
Dougherty, Daniel J.
Ghilezan, Silvia
and
Lescanne, Pierre
2005.
Intersection and Union Types in the λ¯μμ˜-calculus.
Electronic Notes in Theoretical Computer Science,
Vol. 136,
Issue. ,
p.
153.
Meunier, Philippe
Findler, Robert Bruce
and
Felleisen, Matthias
2006.
Modular set-based analysis from contracts.
p.
218.
Meunier, Philippe
Findler, Robert Bruce
and
Felleisen, Matthias
2006.
Modular set-based analysis from contracts.
ACM SIGPLAN Notices,
Vol. 41,
Issue. 1,
p.
218.
Grossman, Dan
2006.
Quantified types in an imperative language.
ACM Transactions on Programming Languages and Systems,
Vol. 28,
Issue. 3,
p.
429.
Fernández, Maribel
and
Fleutot, Fabien
2006.
A historic functional and object-oriented calculus.
p.
145.
Liquori, Luigi
and
Ronchi Della Rocca, Simona
2007.
Intersection-types à la Church.
Information and Computation,
Vol. 205,
Issue. 9,
p.
1371.
Discussions
No Discussions have been published for this article.