A High Level Language for Monad-based Processes (HighMoon/HighMoon2)

Third party funded individual grant


Acronym: HighMoon/HighMoon2

Start date : 01.09.2013

End date : 31.10.2020

close-button

Types of publications

Journal article
Book chapter / Article in edited volumes
Authored book
Translation
Thesis
Edited Volume
Conference contribution
Other publication type
Unpublished / Preprint

Publication year

From
To

Abstract

Journal

Generic Hoare Logic for Order-Enriched Effects with Exceptions (2017) Rauch C, Goncharov S, Schröder L Conference contribution, Original article Complete Elgot Monads and Coalgebraic Resumptions (2016) Goncharov S, Milius S, Rauch C Conference contribution, Original article Program Equivalence is Coinductive (2016) Schröder L, Pattinson D Conference contribution, Original article Complete Elgot Monads and Coalgebraic Resumptions (2016) Goncharov S, Milius S, Rauch C Journal article, Original article Unguarded Recursion on Coinductive Resumptions (2015) Goncharov S, Rauch C, Schröder L Conference contribution, Original article A Relatively Complete Generic Hoare Logic for Order-Enriched Effects (2013) Goncharov S, Schröder L Conference contribution, Original article Exploring the Boundaries of Monad Tensorability on Set (2013) Bowler N, Goncharov S, Levy P, Schröder L Journal article, Original article A coinductive calculus for asynchronous side-effecting processes (2013) Goncharov S, Schröder L Journal article, Original article
‹ 1 2 ›