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.
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.
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.
Jones, Neil D.
1994.
Logic, Language and Computation.
Vol. 792,
Issue. ,
p.
206.
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.
Henglein, Fritz
and
Mossin, Christian
1994.
Programming Languages and Systems — ESOP '94.
Vol. 788,
Issue. ,
p.
287.
Baker-Finch, Clement A.
1995.
Type theory and projections for static analysis.
Lisp and Symbolic Computation,
Vol. 8,
Issue. 3,
p.
267.
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.
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.
Sperber, Michael
and
Thiemann, Peter
1996.
Realistic compilation by partial evaluation.
p.
206.
Bechet, Denis
1996.
Programming Languages and Systems — ESOP '96.
Vol. 1058,
Issue. ,
p.
77.
Sperber, Michael
and
Thiemann, Peter
1996.
Realistic compilation by partial evaluation.
ACM SIGPLAN Notices,
Vol. 31,
Issue. 5,
p.
206.
Launchbury, John
and
Baraki, Gebreselassie
1996.
Representing demand by partial projections.
Journal of Functional Programming,
Vol. 6,
Issue. 4,
p.
563.