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