Completely iterative monads in semantics of coinductive programs

Completely iterative monads in semantics of coinductive programs

<p>Some programs are not merely sets of batch instructions performed in isolation. They interact, either directly with the user, or with other threads and resources. This dissertation tackles the problem of mathematical description (denotational semantics) of the observable behaviour of such...

Cur síos iomlán

Sonraí bibleagrafaíochta
Príomhchruthaitheoir:	Pirog, M
Rannpháirtithe:	Gibbons, J
Formáid:	Tráchtas
Teanga:	English
Foilsithe / Cruthaithe:	2014
Ábhair:	Computing

Míreanna comhchosúla

The coinductive resumption monad
de réir: Piróg, M, et al.
Foilsithe / Cruthaithe: (2014)

The coinductive resumption monad
de réir: Piróg, M, et al.
Foilsithe / Cruthaithe: (2014)

Monads for behaviour
de réir: Piróg, M, et al.
Foilsithe / Cruthaithe: (2013)

Global semantic typing for inductive and coinductive computing
de réir: Daniel M Leivant
Foilsithe / Cruthaithe: (2014-12-01)

Generic Trace Semantics via Coinduction
de réir: Ichiro Hasuo, et al.
Foilsithe / Cruthaithe: (2007-11-01)

Normalization by Evaluation in the Delay Monad: A Case Study for Coinduction via Copatterns and Sized Types
de réir: Andreas Abel, et al.
Foilsithe / Cruthaithe: (2014-06-01)

Monads for behaviour
de réir: Piróg, M, et al.
Foilsithe / Cruthaithe: (2013)

Foundations of regular coinduction
de réir: Francesco Dagnino
Foilsithe / Cruthaithe: (2021-10-01)

Coinductive Big-Step Semantics for Concurrency
de réir: Tarmo Uustalu
Foilsithe / Cruthaithe: (2013-12-01)

A Hoare logic for the coinductive trace-based big-step semantics of While
de réir: Keiko Nakata, et al.
Foilsithe / Cruthaithe: (2015-02-01)

Formal Languages, Formally and Coinductively
de réir: Dmitriy Traytel
Foilsithe / Cruthaithe: (2017-09-01)

Expressive Logics for Coinductive Predicates
de réir: Clemens Kupke, et al.
Foilsithe / Cruthaithe: (2021-12-01)

Indexed Induction and Coinduction, Fibrationally
de réir: Neil Ghani, et al.
Foilsithe / Cruthaithe: (2013-08-01)

An operational interpretation of coinductive types
de réir: Łukasz Czajka
Foilsithe / Cruthaithe: (2020-02-01)

Applications of Metric Coinduction
de réir: Dexter Kozen, et al.
Foilsithe / Cruthaithe: (2009-09-01)

Coinductive Natural Semantics for Compiler Verification in Coq
de réir: Angel Zúñiga, et al.
Foilsithe / Cruthaithe: (2020-09-01)

A coinductive semantics of the Unlimited Register Machine
de réir: Alberto Ciaffaglione
Foilsithe / Cruthaithe: (2011-11-01)

Corecursive Algebras, Corecursive Monads and Bloom Monads
de réir: Jiří Adámek, et al.
Foilsithe / Cruthaithe: (2014-09-01)

The Guarded Lambda-Calculus: Programming and Reasoning with Guarded Recursion for Coinductive Types
de réir: Ranald Clouston, et al.
Foilsithe / Cruthaithe: (2017-04-01)

Modules over monads and operational semantics (expanded version)
de réir: André Hirschowitz, et al.
Foilsithe / Cruthaithe: (2022-08-01)

Unguarded Recursion on Coinductive Resumptions
de réir: Sergey Goncharov, et al.
Foilsithe / Cruthaithe: (2018-08-01)

General Recursion via Coinductive Types
de réir: Venanzio Capretta
Foilsithe / Cruthaithe: (2005-07-01)

Tracing monadic computations and representing effects
de réir: Pirog, M, et al.
Foilsithe / Cruthaithe: (2012)

Eilenberg–Moore Monoids and Backtracking Monad Transformers
de réir: Maciej Piróg
Foilsithe / Cruthaithe: (2016-04-01)

Tracing monadic computations and representing effects
de réir: Maciej Piróg, et al.
Foilsithe / Cruthaithe: (2012-02-01)

Coinductive Proof Principles for Stochastic Processes
de réir: Dexter Kozen
Foilsithe / Cruthaithe: (2007-11-01)

Coinductive Foundations of Infinitary Rewriting and Infinitary Equational Logic
de réir: Jörg Endrullis, et al.
Foilsithe / Cruthaithe: (2018-01-01)

Coinductive Formal Reasoning in Exact Real Arithmetic
de réir: Milad Niqui
Foilsithe / Cruthaithe: (2008-09-01)

Monads need not be endofunctors
de réir: Thosten Altenkirch, et al.
Foilsithe / Cruthaithe: (2015-03-01)

Bootstrapping Inductive and Coinductive Types in HasCASL
de réir: Lutz Schröder
Foilsithe / Cruthaithe: (2008-12-01)

Coaxioms: flexible coinductive definitions by inference systems
de réir: Francesco Dagnino
Foilsithe / Cruthaithe: (2020-02-01)

Extending Coinductive Logic Programming with Co-Facts
de réir: Davide Ancona, et al.
Foilsithe / Cruthaithe: (2017-09-01)

A new coinductive confluence proof for infinitary lambda calculus
de réir: Łukasz Czajka
Foilsithe / Cruthaithe: (2020-03-01)

Calculus in coinductive form
de réir: ́Pavlovic, D, et al.
Foilsithe / Cruthaithe: (1998)

Smart Choices and the Selection Monad
de réir: Martin Abadi, et al.
Foilsithe / Cruthaithe: (2023-04-01)

Complete Axiomatizations of Fragments of Monadic Second-Order Logic on Finite Trees
de réir: Amélie Gheerbrant, et al.
Foilsithe / Cruthaithe: (2012-10-01)

Stream fusion: practical shortcut fusion for coinductive sequence types
de réir: Coutts, D
Foilsithe / Cruthaithe: (2011)

From coinductive proofs to exact real arithmetic: theory and applications
de réir: Ulrich Berger
Foilsithe / Cruthaithe: (2011-03-01)

Call-by-Value and Call-by-Name Dual Calculi with Inductive and Coinductive Types
de réir: Daisuke Kimura, et al.
Foilsithe / Cruthaithe: (2013-03-01)

A Fibrational Method of Indexed Coinductive Data Types
de réir: Decheng Miao, et al.
Foilsithe / Cruthaithe: (2020-01-01)