Andrzej Filinski
Andrzej Filinski
Associate Professor of Computer Science, University of Copenhagen
Verified email at diku.dk
Title
Cited by
Cited by
Year
Abstracting control
O Danvy, A Filinski
Proceedings of the 1990 ACM conference on LISP and functional programming …, 1990
4631990
Representing control: A study of the CPS transformation
O Danvy, A Filinski
Mathematical structures in computer science 2 (04), 361-391, 1992
3921992
Representing Monads
A Filinski
Principles of Programming Languages, 446-457, 1994
3241994
A functional abstraction of typed contexts
O Danvy, A Filinski
Department of Computer Science, University of Copenhagen 89 (89/12), 12, 1989
165*1989
Representing layered monads
A Filinski
Proceedings of the 26th ACM SIGPLAN-SIGACT symposium on Principles of …, 1999
1551999
Controlling Effects
A Filinski
Carnegie Mellon University, 1996
111*1996
Declarative continuations and categorical duality
A Filinski
University of Copenhagen, 1989
841989
Declarative continuations: An investigation of duality in programming language semantics
A Filinski
Category Theory and Computer Science, 224-249, 1989
841989
A semantic account of type-directed partial evaluation
A Filinski
Principles and Practice of Declarative Programming, 378-395, 1999
611999
Normalization and partial evaluation
P Dybjer, A Filinski
Applied Semantics, 137-192, 2002
602002
Linear continuations
A Filinski
Proceedings of the 19th ACM SIGPLAN-SIGACT symposium on Principles of …, 1992
591992
Normalization by evaluation for the computational lambda-calculus
A Filinski
International Conference on Typed Lambda Calculi and Applications, 151-165, 2001
532001
Monads in action
A Filinski
Principles of Programming Languages (POPL), 483-494, 2010
492010
A denotational account of untyped normalization by evaluation
A Filinski, HK Rohde
Foundations of Software Science and Computation Structures, 167-181, 2004
362004
On the relations between monadic semantics
A Filinski
Theoretical Computer Science 375 (1-3), 41-75, 2007
272007
Inductive reasoning about effectful data types
A Filinski, K Støvring
International Conference on Functional Programming (ICFP), 97-110, 2007
192007
Recursion from iteration
A Filinski
Lisp and Symbolic Computation 7 (1), 11-37, 1994
191994
Towards a streaming model for nested data parallelism
FM Madsen, A Filinski
Proceedings of the 2nd ACM SIGPLAN workshop on Functional high-performance …, 2013
172013
Denotational aspects of untyped normalization by evaluation
A Filinski, HK Rohde
RAIRO-Theoretical Informatics and Applications-Informatique Théorique et …, 2005
92005
Functional High Performance Financial IT
J Berthold, A Filinski, F Henglein, KF Larsen, M Steffensen, B Vinter
International Symposium on Trends in Functional Programming, 98-113, 2011
72011
The system can't perform the operation now. Try again later.
Articles 1–20