Andrzej Filinski
Lektor
ORCID: 0000-0002-9174-1861
1 - 2 ud af 2Pr. side: 100
- 2007
- 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
ID: 9314