Crossref Citations
This article has been cited by the following publications. This list is generated based on data provided by
Crossref.
Palsberg, Jens
and
Zhao, Tian
2001.
Efficient and Flexible Matching of Recursive Types.
Information and Computation,
Vol. 171,
Issue. 2,
p.
364.
Palsberg, Jens
and
Ma, Di
2002.
Formal Techniques in Real-Time and Fault-Tolerant Systems.
Vol. 2469,
Issue. ,
p.
291.
Wells, Joe B.
and
Haack, Christian
2002.
Programming Languages and Systems.
Vol. 2305,
Issue. ,
p.
115.
Dunfield, Jana
and
Pfenning, Frank
2003.
Foundations of Software Science and Computation Structures.
Vol. 2620,
Issue. ,
p.
250.
Dunfield, Jana
and
Pfenning, Frank
2004.
Tridirectional typechecking.
p.
281.
Dunfield, Jana
and
Pfenning, Frank
2004.
Tridirectional typechecking.
ACM SIGPLAN Notices,
Vol. 39,
Issue. 1,
p.
281.
Dougherty, Dan
Ghilezan, Silvia
and
Lescanne, Pierre
2004.
Characterizing strong normalization in a language with control operators.
p.
155.
Glew, Neal
and
Palsberg, Jens
2004.
Type-safe method inlining.
Science of Computer Programming,
Vol. 52,
Issue. 1-3,
p.
281.
2005.
Multiprocessor Systems-on-Chips.
p.
513.
Naik, Mayur
and
Palsberg, Jens
2005.
Programming Languages and Systems.
Vol. 3444,
Issue. ,
p.
374.
Makholm, Henning
and
Wells, J. B.
2005.
Programming Languages and Systems.
Vol. 3444,
Issue. ,
p.
389.
Laud, Peeter
Uustalu, Tarmo
and
Vene, Varmo
2006.
Type systems equivalent to data-flow analyses for imperative languages.
Theoretical Computer Science,
Vol. 364,
Issue. 3,
p.
292.
Dunfield, Jana
2007.
Refined typechecking with Stardust.
p.
21.
Millstein, Todd
and
Palsberg, Jens
2007.
The Compiler Design Handbook.
p.
9-1.
Naik, Mayur
and
Palsberg, Jens
2008.
A type system equivalent to a model checker.
ACM Transactions on Programming Languages and Systems,
Vol. 30,
Issue. 5,
p.
1.
Dougherty, Daniel J.
Ghilezan, Silvia
and
Lescanne, Pierre
2008.
Characterizing strong normalization in the Curien–Herbelin symmetric lambda calculus: Extending the Coppo–Dezani heritage.
Theoretical Computer Science,
Vol. 398,
Issue. 1-3,
p.
114.
De Nicola, Rocco
Gorla, Daniele
Hansen, René Rydhof
Nielson, Flemming
Nielson, Hanne Riis
Probst, Christian W.
and
Pugliese, Rosario
2010.
From Flow Logic to static type systems for coordination languages.
Science of Computer Programming,
Vol. 75,
Issue. 6,
p.
376.
Midtgaard, Jan
2012.
Control-flow analysis of functional programs.
ACM Computing Surveys,
Vol. 44,
Issue. 3,
p.
1.
Gilray, Thomas
Adams, Michael D.
and
Might, Matthew
2016.
Allocation characterizes polyvariance: a unified methodology for polyvariant control-flow analysis.
p.
407.
Gilray, Thomas
Adams, Michael D.
and
Might, Matthew
2016.
Allocation characterizes polyvariance: a unified methodology for polyvariant control-flow analysis.
ACM SIGPLAN Notices,
Vol. 51,
Issue. 9,
p.
407.
Discussions
No Discussions have been published for this article.