Product
Help
Pricing
About
Jobs
Log in
Get started
Author
Add to collection
Andrzej Filinski
Observed names:
ANDRZEJ FILINSKI,
Filinski, Andrzej
Institution:
University of Copenhagen
Observed institutions:
University of Copenhagen,
Aarhus University,
Danish National Research Foundation,
Carnegie Mellon University
ORCID:
0000-0002-9174-1861
Observed ORCID:
0000-0002-9174-1861
OpenAlex ID:
A5048548468
Abstracting control
1990
·
Olivier Danvy
, Andrzej Filinski
·
ACM Conference on LISP and Functional Programming (LFP)
·
422
PDF
Representing monads
1994
·
Andrzej Filinski
·
ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL)
·
264
Representing layered monads
1999
·
Andrzej Filinski
·
ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL)
·
153
Normalization and Partial Evaluation
2002
·
Peter Dybjer
, Andrzej Filinski
·
Lecture notes in computer science
·
67
Declarative continuations: An investigation of duality in programming language semantics
2005
·
Andrzej Filinski
·
Springer eBooks
·
60
Normalization by Evaluation for the Computational Lambda-Calculus
2001
·
Andrzej Filinski
·
Lecture notes in computer science
·
53
A Semantic Account of Type-Directed Partial Evaluation
1999
·
Andrzej Filinski
·
Lecture notes in computer science
·
49
Monads in action
2010
·
Andrzej Filinski
·
ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL)
·
47
Linear continuations
1992
·
Andrzej Filinski
·
ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL)
·
45
PDF
A Semantic Account of Type-Directed Partial Evaluation
1999
·
Andrzej Filinski
·
BRICS Report Series
·
43
PDF
A Denotational Account of Untyped Normalization by Evaluation
2004
·
Andrzej Filinski
, Henning Korsholm Rohde
·
Lecture notes in computer science
·
32
PDF
On the relations between monadic semantics
2006
·
Andrzej Filinski
·
Theoretical Computer Science
·
30
PDF
Denotational aspects of untyped normalization by evaluation
2005
·
Andrzej Filinski
, Henning Korsholm Rohde
·
RAIRO - Theoretical Informatics and Applications
·
22
PDF
Recursion from iteration
1994
·
Andrzej Filinski
·
LISP and Symbolic Computation
·
21
Inductive reasoning about effectful data types
2007
·
Andrzej Filinski
, Kristian Støvring
·
ACM SIGPLAN International Conference on Functional Programming (ICFP)
·
17
A Denotational Account of Untyped Normalization by Evaluation
2003
·
Andrzej Filinski
, Henning Korsholm Rohde
·
BRICS Report Series
·
11
PDF
Towards a streaming model for nested data parallelism
2013
·
Frederik M. Madsen
, Andrzej Filinski
·
Functional High-Performance Computing
·
7
Programs as Data Objects
2001
·
Danvy, Olivier
, Filinski, Andrzej
·
Lecture notes in computer science
·
7
Denotational Aspects of Untyped Normalization by Evaluation
2005
·
Andrzej Filinski
, Henning Korsholm Rohde
·
BRICS Report Series
·
4
PDF
Structural logical relations with case analysis and equality reasoning
2013
·
Ulrik Rasmussen
, Andrzej Filinski
·
3
Functional High Performance Financial IT
2012
·
Jost Berthold
, Andrzej Filinski
, et al.
·
Lecture notes in computer science
·
3
Proceedings of the Second Symposium on Programs as Data Objects
2001
·
Olivier Danvy
, Andrzej Filinski
·
3
Streaming nested data parallelism on multicores
2016
·
Frederik M. Madsen
, Andrzej Filinski
·
2
Monads in action
2010
·
Andrzej Filinski
·
ACM SIGPLAN Notices
·
2
Inductive reasoning about effectful data types
2007
·
Andrzej Filinski
, Kristian Støvring
·
ACM SIGPLAN Notices
·
2
Show more works
View as search
Works count:
47
Citation count:
1,373
H-index:
15
I10-index:
16
Year
Topic
Type
