Programs for cheap!

QR Code

Programs for cheap!

Write down the definition of a recursion operator on a piece of paper. Tell me its type, but be careful not to let me see the operator’s definition. I will tell you an optimization theorem that the operator satisfies. As an added bonus, I will also give you a proof of correctness for the optimisatio...

Full description

Bibliographic Details
Main Authors:	Hackett, Jennifer, Hutton, Graham
Format:	Conference or Workshop Item
Published:	2015
Online Access:	https://eprints.nottingham.ac.uk/32701/

Similar Items

The under-performing unfold: a new approach to optimising corecursive programs
by: Hackett, Jennifer, et al.
Published: (2013)

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

Parametric polymorphism and operational improvement
by: Hackett, Jennifer, et al.
Published: (2018)

Endoscopic cheap optical transducers (CHOTs) for on-wing ultrasonic inspection
by: Ageeva, Victoria
Published: (2016)

Synthesis of carbon nanofibers on impregnated powdered activated carbon as cheap substrate
by: Al-Mamun, Abdullah, et al.
Published: (2016)

Sago pith residue as alternative cheap substrate for fermentable sugars production
by: Linggang, Siren, et al.
Published: (2012)

Temporal, delegable and cheap update access control to published XML documents.
by: Halboob, Waleed, et al.
Published: (2013)

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

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

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

The end of cheap labour?: industrial transformation and ‘social upgrading’ in China by Florian Butollo
by: Lee, Chun-Yi

New results in impulse-free continuous-time cheap LQ optimal control
by: Ferrante, A., et al.
Published: (2014)

Open Source Software adaptation in Africa: is a matter of inferior or cheap is not quality?
by: Bakar, Abubakar Diwani, et al.
Published: (2014)

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

D'cheap Hardware Supplier Sdn. Bhd. / Khairul Hakkim Mohamad ... [et al.]
by: Mohamad, Khairul Hakkim, et al.
Published: (2001)

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

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

Exploitation and resistance: a comparative analysis of the Chinese cheap labour electronics and high-value added IT sectors.
by: Bieler, Andreas, et al.
Published: (2016)

Carbon nanotubes grown on oil palm shell powdered activated carbon as less hazardous and cheap substrate
by: Al Mamun, Abdullah, et al.
Published: (2018)

Chemometric analysis of UV-spectra: a novel, rapid and cheap method to differentiate bovine, porcine and fish gelatin
by: Hammed, Ademola Monsur, et al.
Published: (2017)

New, cheap and efficient synthetic Zeolite-X decontaminant agent from fly ash for heavy metal toxicity
by: M. A., Tsabih, et al.
Published: (2018)

Novel,practical and cheap source for isolating beneficial Î³-aminobutyric acid-producing leuconostoc NC5 bacteria.
by: Othman Ali, Farrah Wahida, et al.
Published: (2009)

AutoBench: comparing the time performance of Haskell programs
by: Handley, Martin A.T., et al.
Published: (2018)

Fundamentals of Entrepreneurship (ent300) Business Plan: Fish and Cheap Business Plan / Nurul Nazirah Hanis Binti Mohd Jasni
by: Mohd Jasni, Nurul Nazirah Hanis, et al.
Published: (2017)

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

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)

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

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

Bacteria-based biopesticides production using shrimp pond sludge as potential cheap culture media and entomotoxicity activity against fruit flies (Bactrocera dorsalis Hendel)
by: Ulul Azmi, Noormasshela
Published: (2015)

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

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)