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
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
