Crossref Citations
This article has been cited by the following publications. This list is generated based on data provided by
Crossref.
Wand, Mitchell
1993.
Specifying the correctness of binding-time analysis.
Journal of Functional Programming,
Vol. 3,
Issue. 3,
p.
365.
Thiemann, Peter J.
1996.
Cogen in six lines.
p.
180.
Thiemann, Peter J.
1996.
Cogen in six lines.
ACM SIGPLAN Notices,
Vol. 31,
Issue. 6,
p.
180.
Gengler, Marc
and
Martel, Matthieu
1997.
Self-applicable partial evaluation for the pi-calculus.
ACM SIGPLAN Notices,
Vol. 32,
Issue. 12,
p.
36.
Taha, Walid
and
Sheard, Tim
1997.
Multi-stage programming with explicit annotations.
p.
203.
Gengler, Marc
and
Martel, Matthieu
1997.
Self-applicable partial evaluation for the pi-calculus.
p.
36.
Taha, Walid
and
Sheard, Tim
1997.
Multi-stage programming with explicit annotations.
ACM SIGPLAN Notices,
Vol. 32,
Issue. 12,
p.
203.
Barendregt, Henk
1997.
The Impact of the Lambda Calculus in Logic and Computer Science.
Bulletin of Symbolic Logic,
Vol. 3,
Issue. 2,
p.
181.
Thiemann, Peter J.
1997.
Correctness of a Region-Based Binding-Time Analysis.
Electronic Notes in Theoretical Computer Science,
Vol. 6,
Issue. ,
p.
365.
Thiemann, Peter
and
Sperber, Michael
1997.
Informatik ’97 Informatik als Innovationsmotor.
p.
582.
Rueß, Harald
1997.
Typed Lambda Calculi and Applications.
Vol. 1210,
Issue. ,
p.
319.
Letichevsky, A. A.
1997.
The development of a partial evaluator for extended lambda calculus.
Cybernetics and Systems Analysis,
Vol. 33,
Issue. 1,
p.
114.
Mogensen, Torben Æ.
2000.
Perspectives of System Informatics.
Vol. 1755,
Issue. ,
p.
128.
Goldberg, Mayer
2000.
Gödelization in the lambda calculus.
Information Processing Letters,
Vol. 75,
Issue. 1-2,
p.
13.
Song, Fangmin
Xu, Yongsen
and
Qian, Yuechen
2000.
The self-reduction in lambda calculus.
Theoretical Computer Science,
Vol. 235,
Issue. 1,
p.
171.
Barendregt, Henk
2001.
Logic, Meaning and Computation.
p.
275.
Danvy, Olivier
and
Nielsen, Lasse R.
2001.
Defunctionalization at work.
p.
162.
Berarducci, Alessandro
and
Böhm, Corrado
2001.
Rewriting Techniques and Applications.
Vol. 2051,
Issue. ,
p.
15.
Meseguer, José
and
Talcott, Carolyn
2002.
ECOOP 2002 — Object-Oriented Programming.
Vol. 2374,
Issue. ,
p.
1.
Dybjer, Peter
and
Filinski, Andrzej
2002.
Applied Semantics.
Vol. 2395,
Issue. ,
p.
137.
Discussions
No Discussions have been published for this article.