The continuity of monadic stream functions

QR Code

The continuity of monadic stream functions

Brouwer’s continuity principle states that all functions from infinite sequences of naturals to naturals are continuous, that is, for every sequence the result depends only on a finite initial segment. It is an intuitionistic axiom that is incompatible with classical mathematics. Recently Mart́ín Es...

Full description

Bibliographic Details
Main Authors:	Capretta, Venanzio, Fowler, Jonathan
Format:	Article
Published:	ACM 2017
Subjects:	monadic stream function continuity type theory functional programming stream monad dialogue trees strategy trees
Online Access:	https://eprints.nottingham.ac.uk/46420/

Similar Items

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

Functional reactive programming, refactored
by: Perez, Ivan, et al.
Published: (2016)

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

Monads need not be endofunctors
by: Altenkirch, Thorsten, et al.
Published: (2015)

Towards a formally verified functional quantum programming language
by: Green, Alexander S.
Published: (2010)

Supermonads: one notion to bind them all
by: Bracker, Jan, et al.
Published: (2016)

The productivity of polymorphic stream equations and the composition of circular traversals
by: Balestrieri, Florent
Published: (2015)

The modular compilation of effects
by: Day, Laurence E.
Published: (2017)

Towards modular compilers for effects
by: Day, Laurence, et al.
Published: (2012)

Annihilators through fault injection analysis on selected stream ciphers
by: Omar @ Othman, Wan Zariman
Published: (2019)

Integral transforms of the Minkowski question mark function
by: Alkauskas, Giedrius
Published: (2008)

Polymonad programming in Haskell
by: Bracker, Jan, et al.
Published: (2016)

A functional specification of effects
by: Swierstra, Wouter
Published: (2009)

Reefs of rubbish: the ecological implications of anthropogenic litter in streams
by: Wilson, Hazel
Published: (2021)

The Future of TV opportunities IPTV is facilitating for novel revenue streams
by: Insley, Matthew James
Published: (2007)

Stream corridor restoration study on JUNJUNG river, PENANG / Jamil Matarul
by: Matarul, Jamil
Published: (2006)

Predicting the distribution of ancient and other noteworthy trees across the UK
by: Nolan, Victoria Jayne
Published: (2021)

Understanding viewer behaviors in live streaming: the investigations on social live streaming service in China
by: Guan, Zhengzhi
Published: (2020)

Elaboration likelihood model perspective on millenial live streaming buyers' impulsive buying tendency
by: Luo, Xi
Published: (2023)

Audio Streaming System Using Real-Time Transport Protocol Based on Java Media Framework
by: Asaad Aref, Ibrahim
Published: (2004)

Conjunctive use methods in the management of surface water and ground water resources of a river basin - a review / G. Jagmohan Das and Ashfaque Jafari
by: G. Jagmohan, Das, et al.
Published: (2003)

How does e-commerce live streaming in China affect consumers’ purchasing intentions?
by: Miao, Yihe
Published: (2024)

Value Stream Mapping and Flexible Manufacturing at Crown Holdings INC
by: Fraser, Dougal
Published: (2005)

Optic ataxia and the dorsal visual steam re-visited: impairment in bimanual haptic matching performed without vision
by: Jackson, Stephen R., et al.
Published: (2017)

The application of classification methods to the gross error detection problem
by: Gerber, E., et al.
Published: (2014)

Factors influencing people’s continuous watching intention and consumption intention in live streaming: evidence from China
by: Hou, Fangfang, et al.
Published: (2019)

Tree model guided candidate generation for mining frequent subtrees from XML
by: Tan, Henry, et al.
Published: (2008)

GIS-based modeling of rainfall-induced landslides using data mining-based functional trees classifier with AdaBoost, Bagging, and MultiBoost ensemble frameworks
by: Bui, Dieu Tien, et al.
Published: (2016)

Low-dimensional trade-offs fail to explain richness and structure in species-rich plant communities
by: Esther, A., et al.
Published: (2011)

Pest activity prognosis in rice fields using fuzzy expert system approach
by: Arbaiy, Nureize
Published: (2005)

Visual inspection of hazardous trees assessment methods in amenity forests of Peninsular Malaysia
by: Othman, Helmy Tariq
Published: (2017)

Optimization algorithms for multipath transfer over asymmetric paths using concurrent multipath transfer stream control transmission protocol
by: Abass, Abdulridha Hanash
Published: (2016)

Streams, Grants and Pools: Stakeholding, Asset-Based Welfare and Convertibility
by: Fitzpatrick, Tony
Published: (2007)

Arthropods on street trees: a food resource for wildlife
by: Bhuller, S., et al.
Published: (2000)

Investigating the impact of e-commerce live streaming on consumers'purchase intention in China
by: ZHANG, TAO
Published: (2022)

What drives people to purchase virtual gifts in live streaming? The mediating role of flow
by: Li, Boying, et al.
Published: (2018)

Stream Quantiles via Maximal Entropy Histograms
by: Arandjelovic, O., et al.
Published: (2014)

Urban river revitalization at Sungai Batu downstream Sentul, Kuala Lumpur by using sustainable approach
by: Muhamad Tajuddin, Muhammad Hafizuddin
Published: (2018)

Development of a Bio-Composite Interlocking Block System for River Revetment
by: Alias, Nor Azlina
Published: (2006)

Development of Malaysian river stability index by incorporating morphological assessment in normal flow conditions
by: Haron, Nor Azidawati
Published: (2021)