A tool for relational programmers

QR Code

A tool for relational programmers

Bibliographic Details
Main Authors:	Hutton, Graham, Meijer, Erik, Voermans, Ed
Format:	Monograph
Published:	Chalmers University, Sweden 1994
Online Access:	https://eprints.nottingham.ac.uk/28199/

Similar Items

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

Making Functionality More General
by: Hutton, Graham, et al.
Published: (1992)

Bananas in space: extending fold and unfold to exponential types
by: Meijer, Erik, et al.
Published: (1995)

Monadic parser combinators
by: Hutton, Graham, et al.
Published: (1996)

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

Monadic parsing in Haskell
by: Hutton, Graham, et al.
Published: (1998)

A Relational Derivation of a Functional Program
by: Hutton, Graham
Published: (1992)

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

Between functions and relations in calculating programs
by: Hutton, Graham
Published: (1992)

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

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)

Testable code detection tool for object oriented programming. A tool for novice programmer
by: Hisamudin, Saiful Bahri
Published: (2019)

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)

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

Higher-Order Functions for Parsing
by: Hutton, Graham
Published: (1992)

A 3D pedagogical heritage tool using game technology
by: Champion, Erik
Published: (2016)

Towards a theory of reach
by: Fowler, Jonathan, et al.
Published: (2016)

Distant relations: Limits to relational contracting in domestic violence programmes
by: Carson, E., et al.
Published: (2012)

Compiling a 50-year journey
by: Hutton, Graham, et al.
Published: (2017)

Tool selection and the ventral‐dorsal organization of tool‐related knowledge
by: Tobia, Michael J., et al.
Published: (2017)

Paddy Yield Prediction Tool - A Proposal
by: Labadin, J., et al.
Published: (2010)

Categories, Allegories, and Circuit Design
by: Brown, Carolyn, et al.
Published: (1994)

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

Work it, wrap it, fix it, fold it
by: Sculthorpe, Neil, et al.
Published: (2014)

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

Compiling concurrency correctly: cutting out the middle man
by: Hu, Liyang, et al.
Published: (2010)

Compact fusion
by: Hope, Catherine, et al.
Published: (2006)

Calculating an exceptional machine
by: Hutton, Graham, et al.
Published: (2006)

The Generic Approximation Lemma
by: Hutton, Graham, et al.
Published: (2001)

Proof Methods for Corecursive Programs
by: Hutton, Graham, et al.
Published: (2005)

Compiling Exceptions Correctly
by: Hutton, Graham, et al.
Published: (2004)

Calculating an Exceptional Machine
by: Hutton, Graham, et al.
Published: (2005)

Proof methods for structured corecursive programs
by: Gibbons, Jeremy, et al.
Published: (1999)

Accurate Step Counting
by: Hope, Catherine, et al.
Published: (2005)

Programs for cheap!
by: Hackett, Jennifer, et al.
Published: (2015)

Calculating correct compilers
by: Bahr, Patrick, et al.
Published: (2015)

Cutting out continuations
by: Hutton, Graham, et al.
Published: (2016)

Failing faster: overlapping patterns for property-based testing
by: Fowler, Jonathan, et al.
Published: (2016)