Crossref Citations
This article has been cited by the following publications. This list is generated based on data provided by Crossref.
Simões, Hugo R.
Hammond, Kevin
Florido, Mário
and
Vasconcelos, Pedro
2007.
Types for Proofs and Programs.
Vol. 4502,
Issue. ,
p.
221.
Van Horn, David
and
Mairson, Harry G.
2007.
Relating complexity and precision in control flow analysis.
ACM SIGPLAN Notices,
Vol. 42,
Issue. 9,
p.
85.
Van Horn, David
and
Mairson, Harry G.
2007.
Relating complexity and precision in control flow analysis.
p.
85.
Holdermans, Stefan
and
Hage, Jurriaan
2010.
On the rôle of minimal typing derivations in type-driven program transformation.
p.
1.
Holdermans, Stefan
and
Hage, Jurriaan
2010.
Polyvariant flow analysis with higher-ranked polymorphic types and higher-order effect operators.
ACM SIGPLAN Notices,
Vol. 45,
Issue. 9,
p.
63.
Holdermans, Stefan
and
Hage, Jurriaan
2010.
Polyvariant flow analysis with higher-ranked polymorphic types and higher-order effect operators.
p.
63.
Beringer, Lennart
Grabowski, Robert
and
Hofmann, Martin
2010.
Logic for Programming, Artificial Intelligence, and Reasoning.
Vol. 6355,
Issue. ,
p.
82.
Midtgaard, Jan
Adams, Michael D.
and
Might, Matthew
2012.
Static Analysis.
Vol. 7460,
Issue. ,
p.
352.
Tobin-Hochstadt, Sam
and
Van Horn, David
2012.
Higher-order symbolic execution via contracts.
p.
537.
Tobin-Hochstadt, Sam
and
Van Horn, David
2012.
Higher-order symbolic execution via contracts.
ACM SIGPLAN Notices,
Vol. 47,
Issue. 10,
p.
537.
Midtgaard, Jan
2012.
Control-flow analysis of functional programs.
ACM Computing Surveys,
Vol. 44,
Issue. 3,
p.
1.
Beringer, Lennart
Grabowski, Robert
and
Hofmann, Martin
2013.
Verifying pointer and string analyses with region type systems.
Computer Languages, Systems & Structures,
Vol. 39,
Issue. 2,
p.
49.
Rowe, Reuben N.S.
and
van Bakel, S.J.
2014.
Semantic Types and Approximation for Featherweight Java.
Theoretical Computer Science,
Vol. 517,
Issue. ,
p.
34.
Montagu, Benoît
and
Jensen, Thomas
2020.
Stable relations and abstract interpretation of higher-order programs.
Proceedings of the ACM on Programming Languages,
Vol. 4,
Issue. ICFP,
p.
1.
Quiring, Benjamin
Van Horn, David
Reppy, John
and
Shivers, Olin
2025.
Webs and Flow-Directed Well-Typedness Preserving Program Transformations.
Proceedings of the ACM on Programming Languages,
Vol. 9,
Issue. PLDI,
p.
748.