Making Functionality More General

QR Code

Making Functionality More General

The definition for the notion of a "function" is not cast in stone, but depends upon what we adopt as types in our language. With partial equivalence relations (pers) as types in a relational language, we show that the functional relations are precisely those satisfying the simple equatio...

Full description

Bibliographic Details
Main Authors:	Hutton, Graham, Voermans, Ed
Format:	Conference or Workshop Item
Published:	1992
Online Access:	https://eprints.nottingham.ac.uk/240/

Similar Items

A Calculational Theory of Pers as Types
by: Hutton, Graham, et al.
Published: (1992)

A tool for relational programmers
by: Hutton, Graham, et al.
Published: (1994)

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

Worker/wrapper/makes it/faster
by: Hackett, Jennifer, et al.
Published: (2014)

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)

More on functions
by: Shah, Asadullah, et al.
Published: (2011)

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

How to make your housework more spiritual
by: Seise, Claudia (Azizah)
Published: (2018)

Making Windows XP more like Vista
Published: (2008)

Contractive functions on infinite data structures
by: Capretta, Venanzio, et al.
Published: (2017)

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

Automatically designing more general mutation operators of evolutionary programming for groups of function classes using a hyper-heuristic
by: Hong, Libin, et al.
Published: (2016)

More being done to make tourists shop in Malaysia
by: The Star,
Published: (2012)

Making energy research more responsive: public dialogue as experiment
by: Mohr, Alison
Published: (2014)

What would make children read for pleasure more frequently?
by: Merga, Margaret
Published: (2017)

Making Assembly More Lean: A Case Study In Malaysia
by: Blair, Ryan Douglas
Published: (2010)

How to make you spend more in the airport? An investigation towards ECSI model on willingness to spend more in airport
by: Shih, Ween Yong, et al.
Published: (2023)

Mathematical modeling with generalized function
by: Kilicman, Adem
Published: (2011)

Generalized preinvex functions and their applications
by: Kilicman, Adem, et al.
Published: (2018)

Does being religious or spiritual make you more ethical at work?
by: Ananthram, Subra, et al.
Published: (2017)

HAVING A VARIETY OF ACTIVITIES MAKES THE MUSEUM MORE ATTRACTIVE TO VISITORS
by: MPRC, Pusat Media & Perhubungan Awam
Published: (2015)

More than a walk across the stage
by: Kendall, Graham
Published: (2018)

The Countdown Problem
by: Hutton, Graham
Published: (2002)

Fold and Unfold for Program Semantics
by: Hutton, Graham
Published: (1998)

The Ruby Interpreter
by: Hutton, Graham
Published: (1993)

Review of Mike Gordon and Tom Melham (editors), An Introduction to HOL, a Theorem Proving Environment for Higher Order Logic
by: Hutton, Graham
Published: (1994)

Report on BCTCS 2005
by: Hutton, Graham
Published: (2005)

A Tutorial on the Universality and Expressiveness of Fold
by: Hutton, Graham
Published: (1999)

A dyslexia-friendly classroom: can this make lessons more inclusive for Kai?
by: Kempson, Susannah
Published: (2012)

To study and recommend measures to make fkm administration block be more energy efficient
by: Aina Syafiza, Jamalulail
Published: (2013)

On modified Mellin transform of generalized functions
by: Al-Omari, Shrideh Khalaf Qasem, et al.
Published: (2013)

Women with celiac disease present with fertility problems no more often than women in the general population
by: Dhalwani, Nafeesa N., et al.
Published: (2014)

What would make them read more? Insights from Western Australian adolescents
by: Merga, Margaret
Published: (2016)

How state mobilised the aspects of politics, economy and culture to make people more national
by: Lee, Pei May, et al.
Published: (2013)

The Mellin Transform of Generalized Functions and Some Applications
by: Kamel Ariffin, Muhammad Rezal
Published: (2002)

Notions of generalized s-convex functions on fractal sets
by: Kilicman, Adem, et al.
Published: (2015)

Unified treatment of the Krätzel transformation for generalized functions
by: Al-Omari, Shrideh Khalaf Qasem, et al.
Published: (2013)

Generalized geodesic convex functions on Riemannian manifolds
by: Kilicman, Adem, et al.
Published: (2019)