Research Repository
See what's under the surface
Professor GRAHAM HUTTON graham.hutton@nottingham.ac.uk
Professor of Computer Science
Ed Voermans
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 equation f = f o fu o f, where "o" and "u" are respectively the composition and converse operators for relations. This article forms part of "A calculational theory of pers as types".
| Publication Date | Jan 1, 1992 |
| Peer Reviewed | Peer Reviewed |
| Institution Citation | Hutton, G., & Voermans, E. (1992). Making Functionality More General |
| Copyright Statement | Copyright information regarding this work can be found at the following address: http://eprints.nottingh.../end_user_agreement.pdf |
difun.pdf
(174 Kb)
PDF
Copyright Statement
Copyright information regarding this work can be found at the following address: http://eprints.nottingham.ac.uk/end_user_agreement.pdf
Call-by-need is clairvoyant call-by-value
(2019)
Conference Proceeding
AutoBench: comparing the time performance of Haskell programs
(2018)
Conference Proceeding
Theorem proving for all: equational reasoning in Liquid Haskell (Functional Pearl)
(2018)
Conference Proceeding
Parametric polymorphism and operational improvement
(2018)
Conference Proceeding
Compiling a 50-year journey
(2017)
Journal Article
About Repository@Nottingham
Administrator e-mail: digital-library-support@nottingham.ac.uk
This application uses the following open-source libraries:
Apache License Version 2.0 (http://www.apache.org/licenses/)
Apache License Version 2.0 (http://www.apache.org/licenses/)
SIL OFL 1.1 (http://scripts.sil.org/OFL)
MIT License (http://opensource.org/licenses/mit-license.html)
CC BY 3.0 ( http://creativecommons.org/licenses/by/3.0/)