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

Fuld beskrivelse

Bibliografiske detaljer
Hovedforfatter:	Pirog, M
Andre forfattere:	Gibbons, J
Format:	Thesis
Sprog:	English
Udgivet:	2014
Fag:	Computing

Lignende værker

The coinductive resumption monad
af: Piróg, M, et al.
Udgivet: (2014)

The coinductive resumption monad
af: Piróg, M, et al.
Udgivet: (2014)

Monads for behaviour
af: Piróg, M, et al.
Udgivet: (2013)

Global semantic typing for inductive and coinductive computing
af: Daniel M Leivant
Udgivet: (2014-12-01)

Generic Trace Semantics via Coinduction
af: Ichiro Hasuo, et al.
Udgivet: (2007-11-01)

Normalization by Evaluation in the Delay Monad: A Case Study for Coinduction via Copatterns and Sized Types
af: Andreas Abel, et al.
Udgivet: (2014-06-01)

Monads for behaviour
af: Piróg, M, et al.
Udgivet: (2013)

Foundations of regular coinduction
af: Francesco Dagnino
Udgivet: (2021-10-01)

Coinductive Big-Step Semantics for Concurrency
af: Tarmo Uustalu
Udgivet: (2013-12-01)

A Hoare logic for the coinductive trace-based big-step semantics of While
af: Keiko Nakata, et al.
Udgivet: (2015-02-01)

Formal Languages, Formally and Coinductively
af: Dmitriy Traytel
Udgivet: (2017-09-01)

Expressive Logics for Coinductive Predicates
af: Clemens Kupke, et al.
Udgivet: (2021-12-01)

Indexed Induction and Coinduction, Fibrationally
af: Neil Ghani, et al.
Udgivet: (2013-08-01)

An operational interpretation of coinductive types
af: Łukasz Czajka
Udgivet: (2020-02-01)

Applications of Metric Coinduction
af: Dexter Kozen, et al.
Udgivet: (2009-09-01)

Coinductive Natural Semantics for Compiler Verification in Coq
af: Angel Zúñiga, et al.
Udgivet: (2020-09-01)

A coinductive semantics of the Unlimited Register Machine
af: Alberto Ciaffaglione
Udgivet: (2011-11-01)

Corecursive Algebras, Corecursive Monads and Bloom Monads
af: Jiří Adámek, et al.
Udgivet: (2014-09-01)

The Guarded Lambda-Calculus: Programming and Reasoning with Guarded Recursion for Coinductive Types
af: Ranald Clouston, et al.
Udgivet: (2017-04-01)

Modules over monads and operational semantics (expanded version)
af: André Hirschowitz, et al.
Udgivet: (2022-08-01)

Unguarded Recursion on Coinductive Resumptions
af: Sergey Goncharov, et al.
Udgivet: (2018-08-01)

General Recursion via Coinductive Types
af: Venanzio Capretta
Udgivet: (2005-07-01)

Tracing monadic computations and representing effects
af: Pirog, M, et al.
Udgivet: (2012)

Eilenberg–Moore Monoids and Backtracking Monad Transformers
af: Maciej Piróg
Udgivet: (2016-04-01)

Tracing monadic computations and representing effects
af: Maciej Piróg, et al.
Udgivet: (2012-02-01)

Coinductive Proof Principles for Stochastic Processes
af: Dexter Kozen
Udgivet: (2007-11-01)

Coinductive Foundations of Infinitary Rewriting and Infinitary Equational Logic
af: Jörg Endrullis, et al.
Udgivet: (2018-01-01)

Coinductive Formal Reasoning in Exact Real Arithmetic
af: Milad Niqui
Udgivet: (2008-09-01)

Monads need not be endofunctors
af: Thosten Altenkirch, et al.
Udgivet: (2015-03-01)

Bootstrapping Inductive and Coinductive Types in HasCASL
af: Lutz Schröder
Udgivet: (2008-12-01)

Coaxioms: flexible coinductive definitions by inference systems
af: Francesco Dagnino
Udgivet: (2020-02-01)

Extending Coinductive Logic Programming with Co-Facts
af: Davide Ancona, et al.
Udgivet: (2017-09-01)

A new coinductive confluence proof for infinitary lambda calculus
af: Łukasz Czajka
Udgivet: (2020-03-01)

Calculus in coinductive form
af: ́Pavlovic, D, et al.
Udgivet: (1998)

Smart Choices and the Selection Monad
af: Martin Abadi, et al.
Udgivet: (2023-04-01)

Complete Axiomatizations of Fragments of Monadic Second-Order Logic on Finite Trees
af: Amélie Gheerbrant, et al.
Udgivet: (2012-10-01)

Stream fusion: practical shortcut fusion for coinductive sequence types
af: Coutts, D
Udgivet: (2011)

From coinductive proofs to exact real arithmetic: theory and applications
af: Ulrich Berger
Udgivet: (2011-03-01)

Call-by-Value and Call-by-Name Dual Calculi with Inductive and Coinductive Types
af: Daisuke Kimura, et al.
Udgivet: (2013-03-01)

A Fibrational Method of Indexed Coinductive Data Types
af: Decheng Miao, et al.
Udgivet: (2020-01-01)