P. Dybjer and A. Filinski. Normalization and partial evaluation. In LNCS 2395: Applied Semantics, pages 137--192. Springer, 2002. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
TypeCase: A Design Pattern for Type-Indexed Functions - Bruno Oliveira And (2005) (1 citation) (Correct)
No context found.
P. Dybjer and A. Filinski. Normalization and partial evaluation. In LNCS 2395: Applied Semantics, pages 137--192. Springer, 2002.
An Operational Foundation for Delimited Continuations.. - Biernacka, Biernacki.. (2004) (Correct)
No context found.
Peter Dybjer and Andrzej Filinski. Normalization and partial evaluation. In Gilles Barthe, Peter Dybjer, Lus Pinto, and Joao Saraiva, editors, Applied Semantics -- Advanced Lectures, number 2395 in Lecture Notes in Computer Science, pages 137--192, Caminha, Portugal, September 2000. Springer-Verlag.
From Reduction-Based to Reduction-Free Normalization - Danvy (2004) (Correct)
No context found.
Peter Dybjer and Andrzej Filinski. Normalization and partial evaluation. In Gilles Barthe, Peter Dybjer, Lus Pinto, and Joao Saraiva, editors, Applied Semantics -- Advanced Lectures, number 2395 in Lecture Notes in Computer Science, pages 137--192, Caminha, Portugal, September 2000. Springer-Verlag.
Normalization by Evaluation for λ → 2 - Altenkirch, Uustalu (2004) (Correct)
No context found.
P. Dybjer and A. Filinski. Normalization and partial evaluation. In G. Barthe et al., editors, Applied Semantics, number 2395 in LNCS, pages 137--192. SpringerVerlag, 2002.
On Evaluation Contexts, Continuations, and the Rest of Computation - Danvy (Correct)
No context found.
Peter Dybjer and Andrzej Filinski. Normalization and partial evaluation. In Gilles Barthe, Peter Dybjer, Lu s Pinto, and Jo ao Saraiva, editors, Applied Semantics -- Advanced Lectures, number 2395 in Lecture Notes in Computer Science, pages 137--192, Caminha, Portugal, September 2000. Springer-Verlag.
On the Denotational Semantics of Staged Execution of Open Code - Pitts, Sheard (2004) (1 citation) (Correct)
No context found.
P. Dybjer and A. Filinski. Normalization and partial evaluation. In Applied Semantics, Advanced Lectures, volume 2395 of LNCS, pages 137--192. Springer, 2002.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC