A Semantics for Hybrid Iteration

The recently introduced notions of guarded traced (monoidal) category and guarded (pre-)iterative monad aim at unifying different instances of partial iteration whilst keeping in touch with the established theory of total iteration and preserving its merits. In this paper we use these notions and th...

Celý popis

Podrobná bibliografia

Vydané v:	arXiv.org
Hlavní autori:	Goncharov, Sergey, Jakob, Julian, Neves, Renato
Médium:	Paper
Jazyk:	English
Vydavateľské údaje:	Ithaca Cornell University Library, arXiv.org 05.02.2019
Predmet:	Iterative methods Programming languages Semantics
ISSN:	2331-8422
On-line prístup:	Získať plný text
Tagy:	Pridať tag Žiadne tagy, Buďte prvý, kto otaguje tento záznam!