Distributive laws in programming structures

QR Code

Distributive laws in programming structures

Distributive laws in Computer Science are rules governing the transformation of one programming structure into another. In programming, they are programs satisfying certain formal conditions. Their importance has been to date documented in several isolated cases by diverse formal approaches. Thes...

Full description

Bibliographic Details
Main Author:	Rypacek, Ondrej
Format:	Thesis (University of Nottingham only)
Language:	English
Published:	2010
Subjects:	functional programming distributive laws category theory 2-categories mathematics of programming programming language theory theory of computation
Online Access:	https://eprints.nottingham.ac.uk/11077/

Similar Items

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

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

Univalent higher categories via complete semi-segal types
by: Capriotti, Paolo, et al.
Published: (2018)

Some constructions on ω-groupoids
by: Altenkirch, Thorsten, et al.
Published: (2014)

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

Exploiting structure in integer programs
by: Mareček, Jakub
Published: (2012)

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

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

Topological state sum models in four dimensions, half-twists and their applications
by: Bärenz, Manuel
Published: (2017)

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

Distribution of harumanis in Universiti Teknologi Mara Cawangan Perlis by using : goal programming model / 'Ain Syafiqah Abu Sofian
by: Abu Sofian, 'Ain Syafiqah
Published: (2019)

Supergeometry in locally covariant quantum field theory
by: Hack, Thomas-Paul, et al.
Published: (2016)

How does consumers' skepticism affect advertising claims?
by: Tien, Cheryl
Published: (2010)

Dato' Haji Sidek Haji Jamil / Nurul Nadrah Abdul Kader, Nur Shahidah Mohamad Ali and Siti Hajar Mat Arsat
by: Abdul Kader, Nurul Nadrah, et al.
Published: (2011)

Comparison of MPI benchmark programs on shared memory and distributed memory machines (point-to-point communication)
by: Abdul Hamid, Nor Asilah Wati, et al.
Published: (2010)

Agent-Based Logics in Dependent Type Theory
by: Baston, Colm
Published: (2025)

Testing and debugging functional reactive programming
by: Perez, Ivan, et al.
Published: (2017)

Narrowing in on property-based testing
by: Fowler, Jonathan
Published: (2019)

Parallel computing via message passing: comparison between Microsoft MPI and Klyng framework / Nik Nasrul Faiz Nik Yahaya
by: Nik Yahaya, Nik Nasrul Faiz
Published: (2017)

Developing a complexity metric for inner classes
by: Sim, Hui Tee, et al.
Published: (2010)

A Malay language-based visual programming language for personal digital assistant
by: Sulaiman, Md. Nasir, et al.
Published: (2008)

Mobile game as a learning aid for C++ control structure / Nur Afiqah Nabilah Noor Aris
by: Noor Aris, Nur Afiqah Nabilah
Published: (2017)

A new exact penalty method for semi-infinite programming problems
by: Lin, Qun, et al.
Published: (2014)

Use of an Attribute Grammar for Software Process Measurement
by: Atan, Rodziah
Published: (2005)

Evolutionary cost-cognizant regression test case prioritization for object-oriented programs
by: Bello, AbdulKarim
Published: (2019)

Developing web for learning object oriented programming (OOP) using videos / Farah Syazwani Roslan
by: Roslan, Farah Syazwani Roslan
Published: (2020)

Symmetric encryption using preshared public parameters for a secure TFTP protocol / Nur Nabila Mohamed
by: Mohamed, Nur Nabila
Published: (2015)

The KL sentral virtua reality simulation / Ainun Maziah Saidina Omar
by: Saidina omar, Ainun Maziah
Published: (2004)

Solving a backtracking intelligently : a case study / Muthukkaruppan Annamalai
by: Annamalai, Muthukkaruppan
Published: (2001)

Efficiency three ways: tested, verified, and formalised
by: Handley, Martin AT
Published: (2020)

Visualizing requirements using use case diagram and diagram 0 for compound information system / Noorihan Abdul Rahman and Nor Asma Mohd Zin
by: Abdul Rahman, Noorihan, et al.
Published: (2018)

Penghasilan suatu sistem pencerap suhu berautomasi / Hamidi A. Hamid, Mahadzir Hj. Din and Nor Arzami Othman
by: A. Hamid, Hamidi, et al.
Published: (2003)

Nutrient management for rubber plantation using goal programming / Nurul Ain Mohd Razali
by: Mohd Razali, Nurul Ain
Published: (2020)

Smart plant care system using IoT and cloud computing / Muhammad Syamim Samsudin
by: Samsudin, Muhammad Syamim
Published: (2020)

Automated self-assembly programming paradigm
by: Li, Lin
Published: (2008)

A retail category management model integrating shelf space and inventory levels
by: Ramaseshan, Balasubramanian, et al.
Published: (2009)

A functional quantum programming language
by: Grattage, Jonathan James
Published: (2006)

Grammar-based prosody modification for explicit control Malay language storytelling speech synthesis / Muhammad Izzad Ramli
by: Ramli, Muhammad Izzad
Published: (2018)

An interactive OOP learning environment for teaching and learning with Java / Wan Saiful ‘Azzam Wan Ismai,Maznie Manaf and Marina Ahmad
by: Wan Ismail, Wan Saiful ‘Azzam, et al.
Published: (2018)

Static Analyser for Java-Based Object-Oriented Software Metrics
by: Abu Al-Ese, Hasan Mugbil Khalaf
Published: (1999)