Report on BCTCS 2005

QR Code

Report on BCTCS 2005

This report contains edited abstracts from BCTCS 2005, which was held on 22nd to 24th March 2005 in Nottingham, England.

Bibliographic Details
Main Author:	Hutton, Graham
Format:	Article
Published:	2005
Online Access:	https://eprints.nottingham.ac.uk/246/

Similar Items

Research Management Centre Annual Report 2004/2005
by: Research Management Centre, Research Management Centre
Published: (2005)

Journal publication and case report book 2005-2009
by: Ali Hassan, Abdullah Alashw Al
Published: (2008)

Laporan tahunan = Annual report / Universiti Malaysia Sarawak, 2005
by: Universiti Malaysia Sarawak., UNIMAS Global
Published: (2005)

HXE 201- Report Writing and Editing in English - November 2005
by: PPIK, Pusat Pengajian Ilmu Kemanusiaan
Published: (2005)

Palliative Care in Western Australia: Final Report December 2005
by: Kristjanson, Linda, et al.
Published: (2006)

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

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)

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

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

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)

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

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

The 2005 survey of information systems research in Australia
by: Pervan, Graham, et al.
Published: (2006)

Characteristics of Health Impact Assessments Reported in Australia and New Zealand 2005-2009
by: Haigh, F., et al.
Published: (2013)

Revolution of Financial Reporting of Chinese Listed Companies 2001-2005: Information Disclosure of Corporate Governance
by: Zhang, Shu
Published: (2006)

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

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

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

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)

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

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

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

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

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

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

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

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

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)

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

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)