Andrzej Filinski

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Declarative continuations: an investigation of duality in programming language semantics Category Theory and Computer Science	2022-08-16	Paper
Proof-directed program transformation: a functional account of efficient regular expression matching Journal of Functional Programming	2021-12-13	Paper
Monads in action Proceedings of the 37th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages	2015-06-11	Paper
Inductive reasoning about effectful data types Proceedings of the 12th ACM SIGPLAN international conference on Functional programming	2014-07-21	Paper
Foundations of Software Science and Computation Structures Lecture Notes in Computer Science	2007-09-28	Paper
On the relations between monadic semantics Theoretical Computer Science	2007-05-11	Paper
scientific article; zbMATH DE number 2090724 (Why is no real title available?)	2004-08-13	Paper
scientific article; zbMATH DE number 1722652 (Why is no real title available?)	2002-03-21	Paper
scientific article; zbMATH DE number 1487847 (Why is no real title available?)	2000-08-10	Paper
Representing Control: a Study of the CPS Transformation Mathematical Structures in Computer Science	1994-10-31	Paper

Research outcomes over time

This page was built for person: Andrzej Filinski