Parametric polymorphism and operational improvement

QR Code

Parametric polymorphism and operational improvement

Parametricity, in both operational and denotational forms, has long been a useful tool for reasoning about program correctness. However, there is as yet no comparable technique for reasoning about program improvement, that is, when one program uses fewer resources than another. Existing theories of...

Full description

Bibliographic Details
Main Authors:	Hackett, Jennifer, Hutton, Graham
Format:	Article
Published:	Association for Computing Machinery 2018
Online Access:	https://eprints.nottingham.ac.uk/52868/

Similar Items

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

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

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

Modularity and implementation of mathematical operational semantics
by: Jaskelioff, Mauro Javier, et al.
Published: (2008)

Parametric analysis of energy harvesting pavements operated by air convection
by: Chiarelli, Andrea, et al.
Published: (2015)

Development of downtime cost calculator for offloading operations influenced by parametric rolling
by: Patel, M.S., et al.
Published: (2020)

Quantum properties of the three-mode squeezed operator: triply concurrent parametric amplifiers
by: El-Orany, Faisal A.A, et al.
Published: (2010)

Parametric studies of direct methanol fuel cell under different modes of operation
by: Farah Atiqah Abdullah,, et al.
Published: (2020)

A Financial Ratio and Non-parametric Analysis of Malaysian Banking Groups’ Operational Efficiency
by: Ng, Chin Kong
Published: (2013)

Parametric study of CNG-DI engine operational parameters by using analytical vehicle model
by: Mohd Fadzil, Abdul Rahim, et al.
Published: (2020)

Statistical model on student performance in UTHM by using non-parametric, semi-parametric and parametric survival analysis
by: Che Hamat, Che Azmeeza
Published: (2019)

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)

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)

Solving geoinformatics parametric polynomial systems using the improved Dixon resultant
by: Lewis, R., et al.
Published: (2018)

Existence of continuous eigenvalues for a class of parametric problems involving the (p,2)-laplacian operator
by: Bhattacharya, Tilak, et al.
Published: (2019)

Assessing the Performance of Parametric, Non-Parametric and Semi-Parametric Value-at-Risk Models Applied to the Chinese Stock Market
by: PENG, BO
Published: (2006)

Technical efficiency of maize production in Nigeria: parametric and non-parametric approach
by: Hassan, Yusha'u, et al.
Published: (2014)

Parametric and non-parametric identification of a two dimensional flexible structure
by: Mat Darus, I. Z., et al.
Published: (2006)

Parametric and non-parametric approaches in evaluating martingale hypothesis of energy spot markets
by: Cheong, Chin Wen
Published: (2011)

Parametric and non-parametric approaches in evaluating martingale hypothesis of energy spot markets
by: Cheong, Chin Wen
Published: (2011)

Evaluation of parametric and non-parametric methods for power curve modelling of wind turbines
by: Panahi, Delshad, et al.
Published: (2016)

Non-Parametric and Parametric Estimations of Cure Fraction Using Right-and Interval-Censored Data
by: Aljawdi, Bader
Published: (2011)

Parametric Studies of Triangular TLP
by: Kurian, V.J., et al.
Published: (2008)

Parametric modelling of architectural surfaces
by: Pitts, G., et al.
Published: (2009)

Glucomannan content stability of eddoe taro tuber based on parametric, non-parametric, and ammi analysis
by: Maretta, Delvi, et al.
Published: (2023)

Is Vegetable Farming Technically Efficient in Marilog, Davao City, Philippines? Parametric and Non-Parametric Approaches
by: Sarmiento, Jon, et al.
Published: (2013)

Parametric And Non-Parametric Techniques In Estimating Technical Efficiency Of Crude Palm Oil Production In Malaysia
by: Sabar, Mariah
Published: (2019)

ANTISENSE OLIGONUCLEOTIDES TO IMPROVE CFTR FUNCTION FOR PEOPLE WITH THE INTRON 9 5T POLYMORPHISM
by: Martinovich, K.M., et al.
Published: (2019)

A comparison of parametric and integrative approaches for X-ray fluorescence analysis appliedÂ to a Stroke model
by: Crawford, A., et al.
Published: (2018)

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)