Andrzej Filinski
Orcid: 0000-0002-9174-1861Affiliations:
- University of Copenhagen, Denmark
According to our database1,
Andrzej Filinski
authored at least 25 papers
between 1989 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
1990
1995
2000
2005
2010
2015
2020
0
1
2
3
1
1
1
1
1
1
1
1
2
2
1
1
1
1
1
1
1
2
1
1
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
-
on diku.dk
-
on andrej.com
-
on dl.acm.org
On csauthors.net:
Bibliography
2024
Int. J. Softw. Tools Technol. Transf., August, 2024
2021
Proof-directed program transformation: A functional account of efficient regular expression matching.
J. Funct. Program., 2021
2016
Proceedings of the 5th International Workshop on Functional High-Performance Computing, 2016
2013
Proceedings of the Eighth ACM SIGPLAN International Workshop on Logical Frameworks & Meta-languages: Theory & Practice, 2013
Proceedings of the 2nd ACM SIGPLAN workshop on Functional high-performance computing, 2013
2011
Proceedings of the Trends in Functional Programming, 12th International Symposium, 2011
Proceedings of the Proceeding of the 16th ACM SIGPLAN international conference on Functional Programming, 2011
2010
Proceedings of the 37th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2010
2009
Proceedings of the 39. Jahrestagung der Gesellschaft für Informatik, Im Focus das Leben, INFORMATIK 2009, Lübeck, Germany, September 28, 2009
2007
Proceedings of the 12th ACM SIGPLAN International Conference on Functional Programming, 2007
2006
Proceedings of the Workshop on Mathematically Structured Functional Programming, 2006
2005
RAIRO Theor. Informatics Appl., 2005
2004
Proceedings of the Foundations of Software Science and Computation Structures, 2004
2001
Proceedings of the Typed Lambda Calculi and Applications, 5th International Conference, 2001
2000
Proceedings of the Applied Semantics, International Summer School, 2000
1999
Proceedings of the Principles and Practice of Declarative Programming, International Conference PPDP'99, Paris, France, September 29, 1999
1994
Recursion from Iteration.
LISP Symb. Comput., 1994
Proceedings of the Conference Record of POPL'94: 21st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 1994
1992
Math. Struct. Comput. Sci., 1992
Proceedings of the Conference Record of the Nineteenth Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 1992
1990
Proceedings of the 1990 ACM Conference on LISP and Functional Programming, 1990
1989
Declarative Continuations: an Investigation of Duality in Programming Language Semantics.
Proceedings of the Category Theory and Computer Science, 1989