Compact fusion

QR Code

Compact fusion

There are many advantages to writing functional programs in a compositional style, such as clarity and modularity. However, the intermediate data structures produced may mean that the resulting program is inefficient in terms of space. These may be removed using deforestation techniques, but whether...

Full description

Bibliographic Details
Main Authors:	Hope, Catherine, Hutton, Graham
Format:	Conference or Workshop Item
Published:	2006
Subjects:	hylomorphism space fold abstract machine
Online Access:	https://eprints.nottingham.ac.uk/28194/

Similar Items

Bornological structures on some algebraic systems
by: Imran, Anwar Nooraldeen
Published: (2018)

Classification of two-dimensional algebras using matrices of structure constants approach
by: Ahmed, Houida Mohammed Hussein
Published: (2020)

Understanding propaganda from the perspectives of general semantics / Mohd Rajib Ghani
by: Ghani, Mohd Rajib
Published: (2010)

Pengabstrakan dan pengindeksan di Malaysia : satu tinjauan / Abd Rashid Abd Rahman, Fuziah Mohd Nadzar and Rosnita Sahrani
by: Abd Rahman, Abd Rashid, et al.
Published: (2013)

The linguistic representation of abstract concepts in learning science: a cognitive discursive approach
by: Zacharias, Sally
Published: (2018)

Abstract modelling: towards a typed declarative language for the conceptual modelling phase
by: Legatiuk, Dmitrii, et al.
Published: (2017)

Fano 3-folds in P2xP2 format, Tom and Jerry
by: Brown, Gavin, et al.
Published: (2018)

An Efficient Method for Generating Optimal OBDD of Boolean Functions
by: Singh, Ashutosh, et al.
Published: (2008)

Obesity screening for young Japanese males and females using skin fold measurements: the classification revisited
by: Kagawa, M., et al.
Published: (2010)

Delamination-induced late-tectonic deformation and high-grade metamorphism of the Proterozoic Nampula Complex, northern Mozambique
by: Ueda, K., et al.
Published: (2012)

Negotiating the truth: exploring the influence of metadata in place-related group decision making
by: Boyes, Peter
Published: (2023)

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

Toric Fano three-folds with terminal singularities
by: Kasprzyk, Alexander M.
Published: (2006)

Ankyrin-mediated self-protection during cell invasion by the bacterial predator Bdellovibrio bacteriovorus
by: Lambert, Carey, et al.
Published: (2015)

Quantum periods for certain four-dimensional Fano manifolds
by: Coates, Tom, et al.
Published: (2018)

Laws in ecology: diverse modes of explanation for a holistic science?
by: Gunton, Richard, et al.
Published: (2017)

A semantic crawler based on an extended CBR algorithm
by: Dong, Hai, et al.
Published: (2008)

Rhetorical move analysis in Political Science research article abstracts in English in Iranian journals
by: Seyed Paydari, Sara, et al.
Published: (2019)

On the folded normal distribution
by: Tsagris, Michail, et al.
Published: (2014)

Folding of graphene slit like pore walls—a simple method of improving CO2 separation from mixtures with CH4 or N2
by: Furmaniak, S., et al.
Published: (2014)

Active fault study along foothill zone of Kumaun sub-Himalaya: Influence on landscape shaping and drainage evolution
by: Malik, J., et al.
Published: (2014)

Actual design space methodology for high-performance switched reluctance machines design
by: Rocca, Roberto
Published: (2020)

On the selection of strength for fixed-strength interaction coverage based prioritization
by: Huang, Rubing, et al.
Published: (2018)

State of the art in metadata abstraction crawlers
by: Dong, Hai, et al.
Published: (2008)

Towards a standardized e-assessment system: motivations, challenges and first findings
by: AL-Smadi, M., et al.
Published: (2009)

Coming of Age: Affiliate Member Profile and Participation in the Annual Scientific Meeting of the Cardiac Society of Australia and New Zealand
by: Astley, C., et al.
Published: (2007)

Accommodative study of public space for marginalized people / Wakhidah Kurniawati
by: Kurniawati, Wakhidah
Published: (2012)

Generalizations of ѵ-Lindelöf generalized topological spaces
by: Abuage, Mariam M.
Published: (2018)

Advancements in the technique of low fold three dimensional seismic reflection surveying.
by: Evans, Brian J.
Published: (1996)

Exploring the plutonic-volcanic link: a zircon U-Pb, Lu-Hf and O isotope study of paired volcanic and granitic units from southeastern Australia
by: Kemp, A., et al.
Published: (2008)

Pre- and post-operative voice therapy: complex intervention development and feasibility of a voice therapy programme for adults undergoing phonosurgery for benign vocal fold lesions
by: White, Anna C.
Published: (2025)

Physiological responses and phytochemical composition of Gynura procumbens (Lour.) Merr. affected by shade and plant density
by: Ahmed, Omar Ali
Published: (2020)

Abstraction and illumination: the sublime and Kabbalistic creation motifs in the artworks of Barnett Newman and Mark Rothko
by: Brown, Rosslyn
Published: (2020)

Abstract test case prioritization using repeated small-strength level-combination coverage
by: Huang, Rubing, et al.
Published: (2020)

Properties and Counterexamples on Generalizations of Lindelof Spaces
by: Alfawakhreh, Anwar Jabor
Published: (2002)

Optimum spacecraft attitude control methods for a combined attitude and thermal control system
by: Al-Khodari, M. Saleh Basha
Published: (2011)

Selected pursuit and evasion differential game problems in Hilbert space
by: Ja'afaru, Abbas Badakaya
Published: (2012)

Iterative methods for solving split common fixed point problems in Hilbert spaces
by: Mohammed, Lawan Bulama
Published: (2016)

Rab-SPIRE interaction: the molecular mechanism of the interaction between Rab27a and SPIRE1
by: Alghamdi, Asmahan
Published: (2023)

A bias-exchange approach to protein folding
by: Piana, Stefano, et al.
Published: (2007)