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.
Davis, Kei
1993.
Functional Programming, Glasgow 1992.
p.
43.
Ferguson, Alex
and
Hughes, John
1993.
Static Analysis.
Vol. 724,
Issue. ,
p.
45.
Takano, Akihiko
1993.
Conditional Term Rewriting Systems.
Vol. 656,
Issue. ,
p.
424.
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.
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.
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.
Davis, Kei
1995.
PERs from projections for binding-time analysis.
Lisp and Symbolic Computation,
Vol. 8,
Issue. 3,
p.
249.
Baker-Finch, Clement A.
1995.
Type theory and projections for static analysis.
Lisp and Symbolic Computation,
Vol. 8,
Issue. 3,
p.
267.
Sperber, Michael
and
Thiemann, Peter
1996.
Realistic compilation by partial evaluation.
p.
206.
Launchbury, John
and
Baraki, Gebreselassie
1996.
Representing demand by partial projections.
Journal of Functional Programming,
Vol. 6,
Issue. 4,
p.
563.
Reps, Thomas
and
Turnidge, Todd
1996.
Partial Evaluation.
Vol. 1110,
Issue. ,
p.
409.
Jones, Neil D.
1996.
An introduction to partial evaluation.
ACM Computing Surveys,
Vol. 28,
Issue. 3,
p.
480.