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.001secs, Finished in 0.002secs