@article(Abramsky90,
author = {Samson Abramsky},
year = {1990},
title = {The lazy $\lambda$-calculus},
journal = {Research Topics in Functional Programming},
pages = {65--117},
)
@article(ARNOLD1980,
author = {Andr\'{e} Arnold and Maurice Nivat},
year = {1980},
title = {Metric interpretations of infinite trees and semantics of non deterministic recursive programs},
journal = {Theoretical Computer Science},
volume = {11},
number = {2},
pages = {181 -- 205},
doi = {10.1016/0304-3975(80)90045-6},
)
@article(bat,
author = {Ingo Battenfeld and Klaus Keimel and Thomas Streicher},
year = {2014},
title = {Observationally-induced Algebras in Domain Theory},
journal = {Logical Methods in Computer Science},
volume = {10(3:18)},
pages = {1--26},
doi = {10.2168/lmcs-10(3:18)2014},
)
@incollection(effectful_normal,
author = {Dal Lago, Ugo and Francesco Gavazzo},
year = {2019},
title = {Effectful Normal Form Bisimulation},
booktitle = {Programming Languages and Systems},
publisher = {Springer International Publishing},
pages = {263--292},
doi = {10.1007/978-3-030-17184-1\_10},
)
@article(Relational,
author = {Dal Lago, Ugo and Francesco Gavazzo and Paul B. Levy},
year = {2017},
title = {Effectful Applicative Bisimilarity: Monads, Relators, and the {Howe’s} Method},
journal = {Logic in Computer Science},
pages = {1--12},
doi = {10.1109/lics.2017.8005117},
)
@article(Escardo_decid,
author = {Martín Escardó},
year = {2009},
title = {Semi-decidability of May, Must and Probabilistic Testing in a Higher-type Setting},
journal = {Electronic Notes in Theoretical Computer Science},
volume = {249},
pages = {219 -- 242},
doi = {10.1016/j.entcs.2009.07.092},
note = {Proceedings of the 25th Conference on Mathematical Foundations of Programming Semantics (MFPS 2009)},
)
@misc(Escardo_metric,
author = {Martín H{\"o}tzel Escard{\'o}},
year = {1999},
title = {A metric model of {PCF}},
note = {In: Workshop on Realizability Semantics and Applications.},
)
@inproceedings(Fiore,
author = {Marcelo Fiore and Sam Staton},
year = {2014},
title = {Substitution, Jumps, and Algebraic Effects},
booktitle = {Proceedings of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)},
series = {CSL-LICS '14},
pages = {41:1--41:10},
doi = {10.1145/2603088.2603163},
)
@inproceedings(appdis,
author = {Francesco Gavazzo},
year = {2018},
title = {Quantitative Behavioural Reasoning for Higher-order Effectful Programs: Applicative Distances},
booktitle = {Proceedings of the 33rd Annual {ACM/IEEE} Symposium on Logic in Computer Science, {LICS} 2018},
pages = {452--461},
doi = {10.1145/3209108.3209149},
)
@article(HasuoGeneric,
author = {Ichiro Hasuo},
year = {2015},
title = {Generic Weakest Precondition Semantics from Monads Enriched with Order},
journal = {Theoretical Computer Science},
volume = {604},
number = {C},
pages = {2--29},
doi = {10.1016/j.tcs.2015.03.047},
)
@inproceedings(op_meta,
author = {Patricia Johann and Alex Simpson and Janis Voigtländer},
year = {2010},
title = {A Generic Operational Metatheory for Algebraic Effects},
booktitle = {Proceedings of Logic in Computer Science (LICS'10)},
pages = {209--218},
doi = {10.1109/lics.2010.29},
)
@incollection(Levy11,
author = {Paul Blain Levy},
year = {2011},
title = {Similarity Quotients as Final Coalgebras},
booktitle = {Foundations of Software Science and Computational Structures},
publisher = {Springer Berlin Heidelberg},
pages = {27--41},
doi = {10.1007/978-3-642-19805-2\_3},
)
@inproceedings(LopezSimpson,
author = {Aliaume Lopez and Alex Simpson},
year = {2018},
title = {Basic Operational Preorders for Algebraic Effects in General, and for Combined Probability and Nondeterminism in Particular},
booktitle = {27th {EACSL} Annual Conference on Computer Science Logic, {CSL} 2018},
pages = {29:1--29:17},
doi = {10.4230/LIPIcs.CSL.2018.29},
)
@inproceedings(MardarePP16,
author = {Radu Mardare and Prakash Panangaden and Gordon D. Plotkin},
year = {2016},
title = {Quantitative Algebraic Reasoning},
booktitle = {Proceedings of the 31st Annual {ACM/IEEE} Symposium on Logic in Computer Science, {LICS} '16},
pages = {700--709},
doi = {10.1145/2933575.2934518},
)
@incollection(Sound,
author = {Cristina Matache and Sam Staton},
year = {2019},
title = {A Sound and Complete Logic for Algebraic Effects},
booktitle = {Lecture Notes in Computer Science},
publisher = {Springer International Publishing},
pages = {382--399},
doi = {10.1007/978-3-030-17127-8\_22},
)
@misc(Domains,
author = {Gordon D. Plotkin},
year = {1983},
title = {Domains},
note = {Course notes},
)
@article(effect,
author = {Gordon D. Plotkin and John Power},
year = {2001},
title = {Adequacy for Algebraic Effects},
journal = {Foundations of Software Science and Computation Structures},
pages = {1--24},
doi = {10.1007/3-540-45315-6\_1},
)
@inproceedings(PlotkinPower02,
author = {Gordon D. Plotkin and John Power},
year = {2002},
title = {Notions of Computation Determine Monads},
booktitle = {Proceedings of the 5th International Conference on Foundations of Software Science and Computation Structures},
pages = {342--356},
doi = {10.1007/3-540-45931-6\_24},
)
@article(alg_eff,
author = {Gordon D. Plotkin and John Power},
year = {2003},
title = {Algebraic Operations and Generic Effects},
journal = {Applied Categorical Structures},
volume = {11},
pages = {69--94},
doi = {10.1023/A:1023064908962},
)
@article(Plotkin:2004,
author = {Gordon D. Plotkin and John Power},
year = {2004},
title = {Computational Effects and Operations: An Overview},
journal = {Electronic Notes in Theoretical Computer Science},
volume = {73},
pages = {149--163},
doi = {10.1016/j.entcs.2004.08.008},
)
@book(Sangiorgi_book,
author = {Davide Sangiorgi},
year = {2011},
title = {Introduction to Bisimulation and Coinduction},
publisher = {Cambridge University Press},
address = {Cambridge, UK},
doi = {10.1017/cbo9780511777110},
)
@book(Sangiorgi_book_2,
editor = {Davide Sangiorgi and Jan Rutten},
year = {2011},
title = {Advanced Topics in Bisimulation and Coinduction},
series = {Cambridge Tracts in Theoretical Computer Science},
publisher = {Cambridge University Press},
address = {Cambridge, UK},
doi = {10.1017/CBO9780511792588},
)
@inproceedings(modal,
author = {Alex Simpson and Niels Voorneveld},
year = {2018},
title = {Behavioural Equivalence via Modalities for Algebraic Effects},
booktitle = {Programming Languages and Systems (ESOP 2018)},
pages = {300--326},
doi = {10.1007/978-3-319-89884-1\_11},
)
@article(modal_journal,
author = {Alex Simpson and Niels Voorneveld},
year = {2020},
title = {Behavioural Equivalence via Modalities for Algebraic Effects},
journal = {ACM Trans. Program. Lang. Syst.},
volume = {42},
doi = {10.1145/3363518},
note = {45 pages},
)
@conference(Quantitative,
author = {Niels Voorneveld},
year = {2019},
title = {Quantitative Logics for Equivalence of Effectful Programs},
volume = {347},
pages = {281 -- 301},
doi = {10.1016/j.entcs.2019.09.015},
note = {Proceedings of the Thirty-Fifth Conference on the Mathematical Foundations of Programming Semantics},
)