Contractive functions on infinite data structures

QR Code

Contractive functions on infinite data structures

Coinductive data structures, such as streams or infinite trees, have many applications in functional programming and type theory, and are naturally defined using recursive equations. But how do we ensure that such equations make sense, i.e. that they actually generate a productive infinite object? A...

Full description

Bibliographic Details
Main Authors:	Capretta, Venanzio, Hutton, Graham, Jaskelioff, Mauro
Format:	Conference or Workshop Item
Published:	2017
Online Access:	https://eprints.nottingham.ac.uk/41358/

Similar Items

The continuity of monadic stream functions
by: Capretta, Venanzio, et al.
Published: (2017)

The continuity of monadic stream functions
by: Capretta, Venanzio, et al.
Published: (2017)

The under-performing unfold: a new approach to optimising corecursive programs
by: Hackett, Jennifer, et al.
Published: (2013)

Modularity and implementation of mathematical operational semantics
by: Jaskelioff, Mauro Javier, et al.
Published: (2008)

A coalgebraic view of bar recursion and bar induction
by: Capretta, Venanzio, et al.
Published: (2016)

The coinductive formulation of common knowledge
by: Baston, Colm, et al.
Published: (2018)

Endomorphisms of Banach algebras of infinitely differentiable functions
by: Feinstein, Joel, et al.
Published: (1999)

Wave Propagation in Infinite Periodic Structures
by: McMahon, Darryl
Published: (2016)

Lifting of operations in modular monadic semantics
by: Jaskelioff, Mauro Javier
Published: (2009)

Functional Programming With Relations
by: Hutton, Graham
Published: (1991)

Higher-Order Functions for Parsing
by: Hutton, Graham
Published: (1992)

Between functions and relations in calculating programs
by: Hutton, Graham
Published: (1992)

A Relational Derivation of a Functional Program
by: Hutton, Graham
Published: (1992)

Infinite series
by: Elfaki, Faiz Ahmed Mohamed, et al.
Published: (2011)

Making Functionality More General
by: Hutton, Graham, et al.
Published: (1992)

Wave propagation and attenuation in an infinite periodic structure of asymmetric scatterers
by: McMahon, Darryl
Published: (2017)

Interpretation: The Infinite Controversy
by: S. Sultan, Sabbar
Published: (2010)

Back to Basics: Deriving Representation Changers Functionally
by: Hutton, Graham, et al.
Published: (1996)

A new exact penalty function approach to semi-infinite programming problem
by: Yu, Changjun, et al.
Published: (2014)

Wave propagation in infinite periodic structures taking into account energy absorption
by: McMahon, Darryl
Published: (2015)

The impact of the lanthanide contraction on the structure of complexes of a calix[4]arene trisamide
by: Nealon, Gareth, et al.
Published: (2009)

Proof methods for structured corecursive programs
by: Gibbons, Jeremy, et al.
Published: (1999)

Evasion differential game of infinitely many evaders from infinitely many pursuers in Hilbert space
by: Alias, Idham Arif, et al.
Published: (2017)

When is a function a fold or an unfold?
by: Gibbons, Jeremy, et al.
Published: (2001)

The infinite Fibonacci groups and relative asphericity
by: Edjvet, Martin, et al.
Published: (2017)

On infinite dimensional dissipative stochastic operators
by: Shahidi, Farruh
Published: (2012)

On infinite dimensional Volterra type operators
by: Mukhamedov, Farrukh, et al.
Published: (2009)

Solution of an infinite system of differential equations.
by: Ibragimov , G. I., et al.
Published: (2009)

Unsteady water functionalized oxide and non-oxide nanofluids flow over an infinite accelerated plate
by: Hussanan, Abid, et al.
Published: (2019)

Quadratic stochastic operators with infinite state spaces
by: Ganikhodjaev, Nasir
Published: (2015)

On infinite-dimensional dissipative quadratic stochastic operators
by: Shahidi, Farruh
Published: (2013)

Duality for semi-definite and semi-infinite programming
by: Li, S., et al.
Published: (2003)

Nonlinear impulsive systems on infinite dimensional spaces
by: Ahmed, N., et al.
Published: (2003)

Semi-infinite solid heat transfer limitation
by: Mohd Saiah, Helmey Ramdhaney, et al.
Published: (2018)

Mixed method for the product integral on the infinite interval
by: Eshkuvatov, Zainidin K., et al.
Published: (2014)

Finite and infinite field cryptography analysis and applications
by: Mohammed G. Al-Saidi, Nadia, et al.
Published: (2012)

The solution of an infinite system of ternary differential equations
by: G., Ibragimov, et al.
Published: (2022)

Making clear the contract functions for BIM adoption
by: Lee, Cen Ying, et al.
Published: (2017)

A pursuit problem described by infinite system of differential equations with coordinate-wise integral constraints on control functions
by: Ibragimov, Gafurjan, et al.
Published: (2015)

Symmetry of waves in an infinite 1D periodic structure under the interchange of forward and backward scattering coefficients
by: McMahon, Darryl
Published: (2016)