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.
ACM SIGPLAN Notices,
Vol. 31,
Issue. 6,
p.
180.
Thiemann, Peter J.
1996.
Cogen in six lines.
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.
Gengler, Marc
and
Martel, Matthieu
1997.
Self-applicable partial evaluation for the pi-calculus.
p.
36.
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.
Rueß, Harald
1997.
Typed Lambda Calculi and Applications.
Vol. 1210,
Issue. ,
p.
319.
Taha, Walid
and
Sheard, Tim
1997.
Multi-stage programming with explicit annotations.
p.
203.
Taha, Walid
and
Sheard, Tim
1997.
Multi-stage programming with explicit annotations.
ACM SIGPLAN Notices,
Vol. 32,
Issue. 12,
p.
203.
Thiemann, Peter
and
Sperber, Michael
1997.
Informatik ’97 Informatik als Innovationsmotor.
p.
582.
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.
Linear-Time Self-Interpretation of the Pure Lambda Calculus.
Higher-Order and Symbolic Computation,
Vol. 13,
Issue. 3,
p.
217.
Song, Fangmin
Xu, Yongsen
and
Qian, Yuechen
2000.
The self-reduction in lambda calculus.
Theoretical Computer Science,
Vol. 235,
Issue. 1,
p.
171.
Goldberg, Mayer
2000.
Gödelization in the lambda calculus.
Information Processing Letters,
Vol. 75,
Issue. 1-2,
p.
13.
Mogensen, Torben Æ.
2000.
Perspectives of System Informatics.
Vol. 1755,
Issue. ,
p.
128.
Barendregt, Henk
2001.
Logic, Meaning and Computation.
p.
275.
Berarducci, Alessandro
and
Böhm, Corrado
2001.
Rewriting Techniques and Applications.
Vol. 2051,
Issue. ,
p.
15.
Danvy, Olivier
and
Nielsen, Lasse R.
2001.
Defunctionalization at work.
p.
162.
Dybjer, Peter
and
Filinski, Andrzej
2002.
Applied Semantics.
Vol. 2395,
Issue. ,
p.
137.
Discussions
No Discussions have been published for this article.