Andrzej Filinski
Lektor
- Udgivet
Towards a streaming model for nested data parallelism
Madsen, F. M. & Filinski, Andrzej, 2013, FHPC '13: proceedings of the 2nd ACM SIGPLAN Workshop on Functional High-Performance Computing. Association for Computing Machinery, s. 13-24 12 s.Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
- Udgivet
Towards a comprehensive theory of monadic effects
Filinski, Andrzej, 2011, Proceedings of the 16th ACM SIGPLAN international conference on Functional programming. Association for Computing Machinery, s. 1-1 1 s.Publikation: Bidrag til bog/antologi/rapport › Konferenceabstrakt i proceedings › Forskning
- Udgivet
Structural logical relations with case analysis and equality reasoning
Rasmussen, U. T. & Filinski, Andrzej, 2013, LFMTP '13: proceedings of the Eighth ACM SIGPLAN International Workshop on Logical Frameworks & Meta-Languages: theory & practice. Association for Computing Machinery, s. 43-54 12 s.Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
- Udgivet
Streaming nested data parallelism on multicores
Madsen, F. M. & Filinski, Andrzej, 2016, Proceedings of the 5th International Workshop on Functional High-Performance Computing . Association for Computing Machinery, s. 44-51 8 s.Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
- Udgivet
Proof-directed program transformation: A functional account of efficient regular expression matching
Filinski, Andrzej, 2021, I: Journal of Functional Programming. 31, 38 s., e12.Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt
- Udgivet
On the relations between monadic semantics
Filinski, Andrzej, 2007, I: Theoretical Computer Science. 375, 1-3, s. 41-75Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt
- Udgivet
Normalization by Evaluation for the Computational Lambda-Calculus
Filinski, Andrzej, 2001, Typed Lambda Calculi and Applications: 5th International Conference, TLCA 2001. Abramsky, S. (red.). Springer, s. 151-165 (Lecture notes in computer science; Nr. 2044).Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
- Udgivet
Normalization and Partial Evaluation
Dybjer, P. & Filinski, Andrzej, 2002, Applied Semantics: Advanced Lectures. Berlin: Springer, s. 137-192 (Lecture notes in computer science; Nr. 2395).Publikation: Bidrag til bog/antologi/rapport › Bidrag til bog/antologi › Undervisning
- Udgivet
Monads in action
Filinski, Andrzej, 2010, POPL'10: Proceedings of the 37th annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. Association for Computing Machinery, s. 483-494 12 s.Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
- Udgivet
Inductive Reasoning About Effectful Data Types
Filinski, Andrzej & Støvring, K., 2007, ICFP 07: Proceedings of the 2007 ACM SIGPLAN International Conference on Functional Programming, Freiburg, Germany, October 1-3, 2007. Association for Computing Machinery, s. 97-110 (SIGPLAN Notices; Nr. 42 (9)).Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
ID: 9314