Crossref Citations
This article has been cited by the following publications. This list is generated based on data provided by
Crossref.
Davies, Rowan
and
Pfenning, Frank
2001.
A modal analysis of staged computation.
Journal of the ACM,
Vol. 48,
Issue. 3,
p.
555.
Alechina, Natasha
Mendler, Michael
de Paiva, Valeria
and
Ritter, Eike
2001.
Computer Science Logic.
Vol. 2142,
Issue. ,
p.
292.
Nogin, Aleksey
2002.
Theorem Proving in Higher Order Logics.
Vol. 2410,
Issue. ,
p.
263.
Acar, Umut A.
Blelloch, Guy E.
and
Harper, Robert
2002.
Adaptive functional programming.
ACM SIGPLAN Notices,
Vol. 37,
Issue. 1,
p.
247.
Benton, Nick
Hughes, John
and
Moggi, Eugenio
2002.
Applied Semantics.
Vol. 2395,
Issue. ,
p.
42.
Nanevski, Aleksandar
2002.
Meta-programming with names and necessity.
p.
206.
Acar, Umut A.
Blelloch, Guy E.
and
Harper, Robert
2002.
Adaptive functional programming.
p.
247.
Egly, Uwe
2002.
Automated Deduction—CADE-18.
Vol. 2392,
Issue. ,
p.
78.
Nanevski, Aleksandar
2002.
Meta-programming with names and necessity.
ACM SIGPLAN Notices,
Vol. 37,
Issue. 9,
p.
206.
Acar, Umut A.
Blelloch, Guy E.
and
Harper, Robert
2003.
Selective memoization.
p.
14.
Acar, Umut A.
Blelloch, Guy E.
and
Harper, Robert
2003.
Selective memoization.
ACM SIGPLAN Notices,
Vol. 38,
Issue. 1,
p.
14.
Park, Sungwoo
2003.
A calculus for probabilistic languages.
ACM SIGPLAN Notices,
Vol. 38,
Issue. 3,
p.
38.
Washburn, Geoffrey
and
Weirich, Stephanie
2003.
Boxes go bananas.
p.
249.
Ahmed, Amal
and
Walker, David
2003.
The logical approach to stack typing.
p.
74.
Nanevski, Aleksandar
2003.
From dynamic binding to state via modal possibility.
p.
207.
Washburn, Geoffrey
and
Weirich, Stephanie
2003.
Boxes go bananas.
ACM SIGPLAN Notices,
Vol. 38,
Issue. 9,
p.
249.
Mandelbaum, Yitzhak
Walker, David
and
Harper, Robert
2003.
An effective theory of type refinements.
p.
213.
Ahmed, Amal
and
Walker, David
2003.
The logical approach to stack typing.
ACM SIGPLAN Notices,
Vol. 38,
Issue. 3,
p.
74.
Ahmed, A.
Jia, L.
and
Walker, D.
2003.
Reasoning about hierarchical storage.
p.
33.
Petersen, Leaf
Harper, Robert
Crary, Karl
and
Pfenning, Frank
2003.
A type theory for memory allocation and data layout.
ACM SIGPLAN Notices,
Vol. 38,
Issue. 1,
p.
172.