The productivity of polymorphic stream equations and the composition of circular traversals

QR Code

The productivity of polymorphic stream equations and the composition of circular traversals

This thesis has two independent parts concerned with different aspects of laziness in functional programs. The first part is a theoretical study of productivity for very restricted stream programs. In the second part we define a programming abstraction over a recursive pattern for defining circular...

Full description

Bibliographic Details
Main Author:	Balestrieri, Florent
Format:	Thesis (University of Nottingham only)
Language:	English
Published:	2015
Subjects:	Laziness functional programming coinduction circularity streams attribute grammars
Online Access:	https://eprints.nottingham.ac.uk/29745/

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)

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

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

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

Palindromes in circular words
by: Simpson, Jamie
Published: (2014)

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

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)

Malaysian SMEs : transitioning to the circular economy
by: Kwan, Ju Woey
Published: (2023)

Event composition and detection in data stream management systems
by: Mohania, M., et al.
Published: (2005)

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)

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

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

Vibrational circular dichroism of 3-(trifluoroacetyl)-camphor and its interaction with chiral amines
by: Merten, C., et al.
Published: (2010)

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

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

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

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

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

Modelling customer satisfaction for product development using genetic programming
by: Chan, Kit Yan, et al.
Published: (2009)

Streamed video in an academic library: expectations, challenges and response
by: Wells, David, et al.
Published: (2011)

The Principle of Circular and Cumulative Causation: Myrdal, Kaldor and Contemporary Heterodox Political Economy
by: O'Hara, Phillip
Published: (2009)

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)

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

Extensible and robust functional reactive programming
by: Perez Dominguez, Ivan
Published: (2018)

A Euclidean Invariants Based Study of Circular Surfaces With Fixed Radius
by: Cui, Lei, et al.
Published: (2007)

Effective Anomaly detection in Sensor Network Data Streams
by: Pham, DucSon, et al.
Published: (2009)

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)

Modeling and simulation of multi-stream heat exchanger using artificial neural network
by: Khan, M., et al.
Published: (2012)

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

Time-resolved synchrotron radiation circular dichroism spectroscopy
by: Auvray, François
Published: (2020)

Combined Wavelet-Neural Network Model for Intermittent Stream Flow Prediction
by: Badrzadeh, Honey, et al.
Published: (2012)

Governance of the circular economy: a comparative examination of the use of standards by China and the United Kingdom
by: Flynn, Andrew, et al.
Published: (2019)

Types with extra structure: predicates, equations, composition
by: Hewer, Brandon
Published: (2024)

Efficient management of Top-k queries over Uncertain Data Streams with dynamic Sliding Window Model
by: Raja Wahab, Raja Azhan Syah
Published: (2024)

Functional programming and non-distributivity in pathfinding problems
by: Saenz Carrasco, Juan Carlos
Published: (2016)

Photoelectron circular dichroism (PECD) of monoterpenes using laser and synchrotron radiation
by: Ganjitabar, Hassan
Published: (2020)