Crossref Citations
This Book has been
cited by the following publications. This list is generated based on data provided by Crossref.
Launchbury, John
1991.
Functional Programming Languages and Computer Architecture.
Vol. 523,
Issue. ,
p.
145.
Henglein, Fritz
1991.
Functional Programming Languages and Computer Architecture.
Vol. 523,
Issue. ,
p.
448.
Hughes, John
and
Launchbury, John
1992.
ESOP '92.
Vol. 582,
Issue. ,
p.
269.
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.
Davis, Kei
1993.
Functional Programming, Glasgow 1992.
p.
43.
Takano, Akihiko
1993.
Conditional Term Rewriting Systems.
Vol. 656,
Issue. ,
p.
424.
Jones, Neil D.
1994.
Logic, Language and Computation.
Vol. 792,
Issue. ,
p.
206.
Henglein, Fritz
and
Mossin, Christian
1994.
Programming Languages and Systems — ESOP '94.
Vol. 788,
Issue. ,
p.
287.
Davis, Kei
1994.
Functional Programming, Glasgow 1993.
p.
26.
Metzemakers, Timo
Miniussi, Alain
Sherman, David
and
Strandh, Robert
1994.
Programming Language Implementation and Logic Programming.
Vol. 844,
Issue. ,
p.
324.
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.
Davis, Kei
1995.
PERs from projections for binding-time analysis.
Lisp and Symbolic Computation,
Vol. 8,
Issue. 3,
p.
249.
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.
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.
Reps, Thomas
and
Turnidge, Todd
1996.
Partial Evaluation.
Vol. 1110,
Issue. ,
p.
409.
Launchbury, John
and
Baraki, Gebreselassie
1996.
Representing demand by partial projections.
Journal of Functional Programming,
Vol. 6,
Issue. 4,
p.
563.
Jørgensen, Jesper
and
Leuschel, Michael
1996.
Partial Evaluation.
Vol. 1110,
Issue. ,
p.
238.