Crossref Citations
This article has been cited by the following publications. This list is generated based on data provided by
Crossref.
Evan Chang, Bor-Yuh
Crary, Karl
DeLap, Margaret
Harper, Robert
Liszka, Jason
Murphy VII, Tom
and
Pfenning, Frank
2002.
Grid Computing — GRID 2002.
Vol. 2536,
Issue. ,
p.
112.
Ahmed, Amal
and
Walker, David
2003.
The logical approach to stack typing.
ACM SIGPLAN Notices,
Vol. 38,
Issue. 3,
p.
74.
Leroy, Xavier
2003.
Programming Languages and Systems.
Vol. 2618,
Issue. ,
p.
1.
Chen, Juan
Wu, Dinghao
Appel, Andrew W.
and
Fang, Hai
2003.
A provably sound TAL for back-end optimization.
ACM SIGPLAN Notices,
Vol. 38,
Issue. 5,
p.
208.
Crary, Karl
and
Sarkar, Susmit
2003.
Automated Deduction – CADE-19.
Vol. 2741,
Issue. ,
p.
106.
Watson, Geoffrey
2003.
Formal Methods and Software Engineering.
Vol. 2885,
Issue. ,
p.
286.
Chen, Juan
Wu, Dinghao
Appel, Andrew W.
and
Fang, Hai
2003.
A provably sound TAL for back-end optimization.
p.
208.
Vanderwaart, Joseph C.
and
Crary, Karl
2003.
A typed interface for garbage collection.
ACM SIGPLAN Notices,
Vol. 38,
Issue. 3,
p.
109.
Ahmed, Amal
and
Walker, David
2003.
The logical approach to stack typing.
p.
74.
Vanderwaart, Joseph C.
and
Crary, Karl
2003.
A typed interface for garbage collection.
p.
109.
Limin Jia
Spalding, F.
Walker, D.
and
Glew, N.
2005.
Certifying Compilation for a Language with Stack Allocation.
p.
407.
Benton, Nick
2005.
Programming Languages and Systems.
Vol. 3780,
Issue. ,
p.
364.
Walker, David
Mackey, Lester
Ligatti, Jay
Reis, George A.
and
August, David I.
2006.
Static typing for a faulty lambda calculus.
p.
38.
Walker, David
Mackey, Lester
Ligatti, Jay
Reis, George A.
and
August, David I.
2006.
Static typing for a faulty lambda calculus.
ACM SIGPLAN Notices,
Vol. 41,
Issue. 9,
p.
38.
Grossman, Dan
2006.
Quantified types in an imperative language.
ACM Transactions on Programming Languages and Systems,
Vol. 28,
Issue. 3,
p.
429.
Yu, Dachuan
and
Islam, Nayeem
2006.
Programming Languages and Systems.
Vol. 3924,
Issue. ,
p.
162.
Crary, Karl
2007.
Sound and complete elimination of singleton kinds.
ACM Transactions on Computational Logic,
Vol. 8,
Issue. 2,
p.
8.
Crary, Karl
and
Sarkar, Susmit
2008.
Foundational certified code in the Twelf metalogical framework.
ACM Transactions on Computational Logic,
Vol. 9,
Issue. 3,
p.
1.
Ariola, Zena M.
Bohannon, Aaron
and
Sabry, Amr
2009.
Sequent calculi and abstract machines.
ACM Transactions on Programming Languages and Systems,
Vol. 31,
Issue. 4,
p.
1.
Leroy, Xavier
2009.
A Formally Verified Compiler Back-end.
Journal of Automated Reasoning,
Vol. 43,
Issue. 4,
p.
363.
Discussions
No Discussions have been published for this article.