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.
Watson, Geoffrey
2003.
Formal Methods and Software Engineering.
Vol. 2885,
Issue. ,
p.
286.
Ahmed, Amal
and
Walker, David
2003.
The logical approach to stack typing.
ACM SIGPLAN Notices,
Vol. 38,
Issue. 3,
p.
74.
Crary, Karl
and
Sarkar, Susmit
2003.
Automated Deduction – CADE-19.
Vol. 2741,
Issue. ,
p.
106.
Vanderwaart, Joseph C.
and
Crary, Karl
2003.
A typed interface for garbage collection.
p.
109.
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.
Chen, Juan
Wu, Dinghao
Appel, Andrew W.
and
Fang, Hai
2003.
A provably sound TAL for back-end optimization.
p.
208.
Ahmed, Amal
and
Walker, David
2003.
The logical approach to stack typing.
p.
74.
Leroy, Xavier
2003.
Programming Languages and Systems.
Vol. 2618,
Issue. ,
p.
1.
Vanderwaart, Joseph C.
and
Crary, Karl
2003.
A typed interface for garbage collection.
ACM SIGPLAN Notices,
Vol. 38,
Issue. 3,
p.
109.
Benton, Nick
2005.
Programming Languages and Systems.
Vol. 3780,
Issue. ,
p.
364.
Limin Jia
Spalding, F.
Walker, D.
and
Glew, N.
2005.
Certifying Compilation for a Language with Stack Allocation.
p.
407.
Grossman, Dan
2006.
Quantified types in an imperative language.
ACM Transactions on Programming Languages and Systems,
Vol. 28,
Issue. 3,
p.
429.
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.
Walker, David
Mackey, Lester
Ligatti, Jay
Reis, George A.
and
August, David I.
2006.
Static typing for a faulty lambda calculus.
p.
38.
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.
Leroy, Xavier
2009.
A Formally Verified Compiler Back-end.
Journal of Automated Reasoning,
Vol. 43,
Issue. 4,
p.
363.
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.
Discussions
No Discussions have been published for this article.