Andrzej Filinski

From MaRDI portal
Person:879353

Available identifiers

zbMath Open filinski.andrzejMaRDI QIDQ879353

List of research outcomes





PublicationDate of PublicationType
Declarative continuations: an investigation of duality in programming language semantics2022-08-16Paper
Proof-directed program transformation: a functional account of efficient regular expression matching2021-12-13Paper
Monads in action2015-06-11Paper
Inductive reasoning about effectful data types2014-07-21Paper
Foundations of Software Science and Computation Structures2007-09-28Paper
On the relations between monadic semantics2007-05-11Paper
https://portal.mardi4nfdi.de/entity/Q48132242004-08-13Paper
https://portal.mardi4nfdi.de/entity/Q27788202002-03-21Paper
https://portal.mardi4nfdi.de/entity/Q44943712000-08-10Paper
Representing Control: a Study of the CPS Transformation1994-10-31Paper

Research outcomes over time

This page was built for person: Andrzej Filinski

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:879353&oldid=7624301"
Powered by MediaWiki