Andrzej Filinski
Lektor
ORCID: 0000-0002-9174-1861
11 - 15 ud af 15Pr. side: 10
- 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
- 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 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
Functional High Performance Financial IT: the HIPERFIT Research Center in Copenhagen
Berthold, J., Filinski, Andrzej, Henglein, Fritz, Larsen, Ken Friis, Steffensen, Mogens & Vinter, B., 2012, Trends in Functional Programming: 12th International Symposium, TFP 2011, Madrid, Spain, May 16-18, 2011, Revised Selected Papers. Peña, R. & Page, R. (red.). Springer, s. 98-113 16 s. (Lecture notes in computer science, Bind 7193).Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
ID: 9314