At the moment, the following files are available electronically:
Andrzej Filinski:
Declarative Continuations and Categorical Duality.
Master's thesis, Computer Science Department, University of
Copenhagen (August 1989). DIKU Report 89/11 (116 pp.).
Available as
PostScript.
Olivier Danvy and Andrzej Filinski:
Abstracting Control.
In Proceedings of the 1990 ACM Conference on Lisp and Functional
Programming, pp. 151-160, Nice, France (June 1990).
Available as
PostScript.
Andrzej Filinski:
Linear Continuations.
In Proceedings of the Nineteenth Annual ACM Symposium on
Principles of Programming Languages, pp. 27-38,
Albuquerque, New Mexico (January 1992).
Available as
PostScript.
Olivier Danvy and Andrzej Filinski:
Representing Control: A Study of the CPS Transformation.
In Mathematical Structures in Computer Science,
vol. 2, no. 4, pp. 361-391 (December 1992).
Preprint available as
DVI or
PostScript.
Andrzej Filinski:
Recursion from Iteration.
In Lisp and Symbolic Computation,
vol. 7, no.1, pp. 11-38, (January 1994).
Preprint available as
DVI or
PostScript.
Andrzej Filinski:
Representing Monads.
In Proceedings of the 21st ACM SIGPLAN-SIGACT Symposium on
Principles of Programming Languages, pp. 446-457,
Portland, Oregon (January 1994).
Available as
DVI,
PostScript, or
HTML abstract.
Andrzej Filinski:
Controlling Effects.
PhD thesis, School of Computer Science, Carnegie Mellon University
(May 1996). Technical Report CMU-CS-96-119 (144pp.).
Available as
DVI,
PostScript, or
HTML abstract.
Andrzej Filinski:
Representing Layered Monads.
In Conference Record of POPL '99:
The 26th ACM SIGPLAN-SIGACT Symposium on
Principles of Programming Languages,
pp. 175-188,
San Antonio, Texas (January 1999).
Available as
DVI,
PostScript, or
HTML abstract.
Andrzej Filinski:
A Semantic Account of Type-Directed Partial Evaluation.
In Principles and Practice of
Declarative Programming:
International Conference PPDP'99, pp. 378-395,
Paris, France (September 1999).
Lecture Notes in Computer Science, vol. 1702.
Available as
DVI,
PostScript, or
HTML abstract.
Andrzej Filinski:
Normalization by Evaluation for the Computational Lambda-Calculus.
In Typed Lambda Calculi and Applications:
5th International Conference, TLCA 2001, pp. 151-165,
Krakow, Poland (May 2001).
Lecture Notes in Computer Science, vol. 2044.
Available as
DVI,
PostScript, or
HTML abstract.
Peter Dybjer and Andrzej Filinski:
Normalization and Partial Evaluation.
In Applied Semantics: International Summer School, APPSEM 2000,
pp. 137-192,
Caminha, Portugal (September 2000).
Lecture Notes in Computer Science, vol. 2395.
Available as
PDF or
HTML abstract.
Andrzej Filinski and Henning Korsholm Rohde:
A Denotational Account of Untyped Normalization by Evaluation.
In Foundations of Software Science and Computation Structures:
7th International Conference, FOSSACS 2004, pp. 167-181,
Barcelona, Spain (March 2004).
Lecture Notes in Computer Science, vol. 2987.
Available as
DVI,
PostScript,
PDF, or
HTML abstract.
Andrzej Filinski and Henning Korsholm Rohde:
Denotational Aspects of Untyped Normalization by Evaluation.
In RAIRO - Theoretical Informatics and Applications,
vol. 39(3) (July 2005), pp. 423-453.
Available as
PDF or
HTML abstract.