The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Andrzej Filinski: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Peter Dybjer, Andrzej Filinski
    Normalization and Partial Evaluation. [Citation Graph (0, 0)][DBLP]
    APPSEM, 2000, pp:137-192 [Conf]
  2. 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]
  3. Andrzej Filinski, Henning Korsholm Rohde
    A Denotational Account of Untyped Normalization by Evaluation. [Citation Graph (0, 0)][DBLP]
    FoSSaCS, 2004, pp:167-181 [Conf]
  4. Olivier Danvy, Andrzej Filinski
    Abstracting Control. [Citation Graph (0, 0)][DBLP]
    LISP and Functional Programming, 1990, pp:151-160 [Conf]
  5. Andrzej Filinski
    Linear Continuations. [Citation Graph (0, 0)][DBLP]
    POPL, 1992, pp:27-38 [Conf]
  6. Andrzej Filinski
    Representing Monads. [Citation Graph (0, 0)][DBLP]
    POPL, 1994, pp:446-457 [Conf]
  7. Andrzej Filinski
    Representing Layered Monads. [Citation Graph (0, 0)][DBLP]
    POPL, 1999, pp:175-188 [Conf]
  8. Andrzej Filinski
    A Semantic Account of Type-Directed Partial Evaluation. [Citation Graph (0, 0)][DBLP]
    PPDP, 1999, pp:378-395 [Conf]
  9. Andrzej Filinski
    Normalization by Evaluation for the Computational Lambda-Calculus. [Citation Graph (0, 0)][DBLP]
    TLCA, 2001, pp:151-165 [Conf]
  10. Andrzej Filinski
    Recursion from Iteration. [Citation Graph (0, 0)][DBLP]
    Lisp and Symbolic Computation, 1994, v:7, n:1, pp:11-38 [Journal]
  11. 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]
  12. 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]
  13. 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]
  14. Andrzej Filinski, Kristian Støvring
    Inductive reasoning about effectful data types. [Citation Graph (0, 0)][DBLP]
    ICFP, 2007, pp:97-110 [Conf]

  15. A Game-Theoretic Model for Distributed Programming by Contract. [Citation Graph (, )][DBLP]


  16. Monads in action. [Citation Graph (, )][DBLP]


Search in 0.002secs, Finished in 0.003secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002