Crossref Citations
This Book has been
cited by the following publications. This list is generated based on data provided by Crossref.
Henglein, Fritz
1991.
Functional Programming Languages and Computer Architecture.
Vol. 523,
Issue. ,
p.
448.
Launchbury, John
1991.
Functional Programming Languages and Computer Architecture.
Vol. 523,
Issue. ,
p.
145.
Hughes, John
and
Launchbury, John
1992.
ESOP '92.
Vol. 582,
Issue. ,
p.
269.
Takano, Akihiko
1993.
Conditional Term Rewriting Systems.
Vol. 656,
Issue. ,
p.
424.
Davis, Kei
1993.
Functional Programming, Glasgow 1992.
p.
43.
Bondorf, Anders
and
Jørgensen, Jesper
1993.
Efficient analyses for realistic off-line partial evaluation.
Journal of Functional Programming,
Vol. 3,
Issue. 3,
p.
315.
Ferguson, Alex
and
Hughes, John
1993.
Static Analysis.
Vol. 724,
Issue. ,
p.
45.
Metzemakers, Timo
Miniussi, Alain
Sherman, David
and
Strandh, Robert
1994.
Programming Language Implementation and Logic Programming.
Vol. 844,
Issue. ,
p.
324.
Henglein, Fritz
and
Mossin, Christian
1994.
Programming Languages and Systems — ESOP '94.
Vol. 788,
Issue. ,
p.
287.
Jones, Neil D.
1994.
Logic, Language and Computation.
Vol. 792,
Issue. ,
p.
206.
Davis, Kei
1994.
Functional Programming, Glasgow 1993.
p.
26.
Cousot, P.
and
Cousot, R.
1994.
Higher-order abstract interpretation (and application to comportment analysis generalizing strictness, termination, projection and PER analysis of functional languages).
p.
95.
Baker-Finch, Clement A.
1995.
Type theory and projections for static analysis.
Lisp and Symbolic Computation,
Vol. 8,
Issue. 3,
p.
267.
Consel, Charles
and
Khoo, Siau Cheng
1995.
On-line and off-line partial evaluation: semantic specifications and correctness proofs.
Journal of Functional Programming,
Vol. 5,
Issue. 4,
p.
461.
Davis, Kei
1995.
PERs from projections for binding-time analysis.
Lisp and Symbolic Computation,
Vol. 8,
Issue. 3,
p.
249.
Birkedal, Lars
and
Welinder, Morten
1995.
Binding-time analysis for Standard ML.
Lisp and Symbolic Computation,
Vol. 8,
Issue. 3,
p.
191.
Sperber, Michael
and
Thiemann, Peter
1996.
Realistic compilation by partial evaluation.
p.
206.
Jørgensen, Jesper
and
Leuschel, Michael
1996.
Partial Evaluation.
Vol. 1110,
Issue. ,
p.
238.
Launchbury, John
and
Baraki, Gebreselassie
1996.
Representing demand by partial projections.
Journal of Functional Programming,
Vol. 6,
Issue. 4,
p.
563.
Bechet, Denis
1996.
Programming Languages and Systems — ESOP '96.
Vol. 1058,
Issue. ,
p.
77.