The SCEAS System
| |||||||

## Search the dblp DataBase
Andrzej Filinski:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
## Publications of Author- Peter Dybjer, Andrzej Filinski
**Normalization and Partial Evaluation.**[Citation Graph (0, 0)][DBLP] APPSEM, 2000, pp:137-192 [Conf] - Andrzej Filinski
**Declarative Continuations: an Investigation of Duality in Programming Language Semantics.**[Citation Graph (0, 0)][DBLP] Category Theory and Computer Science, 1989, pp:224-249 [Conf] - Andrzej Filinski, Henning Korsholm Rohde
**A Denotational Account of Untyped Normalization by Evaluation.**[Citation Graph (0, 0)][DBLP] FoSSaCS, 2004, pp:167-181 [Conf] - Olivier Danvy, Andrzej Filinski
**Abstracting Control.**[Citation Graph (0, 0)][DBLP] LISP and Functional Programming, 1990, pp:151-160 [Conf] - Andrzej Filinski
**Linear Continuations.**[Citation Graph (0, 0)][DBLP] POPL, 1992, pp:27-38 [Conf] - Andrzej Filinski
**Representing Monads.**[Citation Graph (0, 0)][DBLP] POPL, 1994, pp:446-457 [Conf] - Andrzej Filinski
**Representing Layered Monads.**[Citation Graph (0, 0)][DBLP] POPL, 1999, pp:175-188 [Conf] - Andrzej Filinski
**A Semantic Account of Type-Directed Partial Evaluation.**[Citation Graph (0, 0)][DBLP] PPDP, 1999, pp:378-395 [Conf] - Andrzej Filinski
**Normalization by Evaluation for the Computational Lambda-Calculus.**[Citation Graph (0, 0)][DBLP] TLCA, 2001, pp:151-165 [Conf] - Andrzej Filinski
**Recursion from Iteration.**[Citation Graph (0, 0)][DBLP] Lisp and Symbolic Computation, 1994, v:7, n:1, pp:11-38 [Journal] - Olivier Danvy, Andrzej Filinski, Jean-Louis Giavitto, Andy King, Pierre-Etienne Moreau, Carolyn L. Talcott
**Editorial.**[Citation Graph (0, 0)][DBLP] Higher-Order and Symbolic Computation, 2006, v:19, n:4, pp:343-344 [Journal] - Olivier Danvy, Andrzej Filinski
**Representing Control: A Study of the CPS Transformation.**[Citation Graph (0, 0)][DBLP] Mathematical Structures in Computer Science, 1992, v:2, n:4, pp:361-391 [Journal] - Andrzej Filinski
**On the relations between monadic semantics.**[Citation Graph (0, 0)][DBLP] Theor. Comput. Sci., 2007, v:375, n:1-3, pp:41-75 [Journal] - Andrzej Filinski, Kristian Støvring
**Inductive reasoning about effectful data types.**[Citation Graph (0, 0)][DBLP] ICFP, 2007, pp:97-110 [Conf] **A Game-Theoretic Model for Distributed Programming by Contract.**[Citation Graph (, )][DBLP]**Monads in action.**[Citation Graph (, )][DBLP]
Search in 0.002secs, Finished in 0.003secs | |||||||

| |||||||

| |||||||

System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002 for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002 |