Theory and Practice of Fusion

Theory and Practice of Fusion

Show other versions (4)

There are a number of approaches for eliminating intermediate data structures in functional programs - this elimination is commonly known as fusion. Existing fusion strategies are built upon various, but related, recursion schemes, such as folds and unfolds. We use the concept of recursive coalgebra...

Disgrifiad llawn

Manylion Llyfryddiaeth
Prif Awduron:	Hinze, R, James, D, Harper, T
Fformat:	Conference item
Cyhoeddwyd:	Springer−Verlag 2011

Eitemau Tebyg

Theory and practice of fusion
gan: Hinze, R, et al.
Cyhoeddwyd: (2011)

Theory and Practice of Fusion
gan: Hinze, R, et al.
Cyhoeddwyd: (2011)

Theory and Practice of Fusion
gan: Hinze, R, et al.
Cyhoeddwyd: (2011)

Theory and Practice of Fusion
gan: Hinze, R, et al.
Cyhoeddwyd: (2010)

Theory and practice of shortcut fusion
gan: Harper, T
Cyhoeddwyd: (2013)

Generic Haskell: Practice and Theory
gan: Hinze, R, et al.
Cyhoeddwyd: (2003)

Generic Haskell: Practice and Theory
gan: Hinze, R, et al.
Cyhoeddwyd: (2003)

Type Fusion
gan: Hinze, R
Cyhoeddwyd: (2011)

Type Fusion
gan: Hinze, R
Cyhoeddwyd: (2011)

Type Fusion
gan: Hinze, R
Cyhoeddwyd: (2010)

Handbook of multisensor data fusion : theory and practice /
gan: Liggins, Martin E., et al.
Cyhoeddwyd: (2009)

Proving the Unique Fixed-Point Principle Correct An Adventure with Category Theory
gan: Hinze, R, et al.
Cyhoeddwyd: (2011)

Proving the unique fixed−point principle correct: an adventure with category theory
gan: Hinze, R, et al.
Cyhoeddwyd: (2011)

Projection−based Strictness Analysis — Theoretical and Practical Aspects
gan: Hinze, R
Cyhoeddwyd: (1995)

Sorting with Bialgebras and Distributive Laws
gan: Hinze, R, et al.
Cyhoeddwyd: (2012)

Sorting with Bialgebras and Distributive Laws
gan: Hinze, R, et al.
Cyhoeddwyd: (2012)

Sorting with bialgebras and distributive laws
gan: Hinze, R, et al.
Cyhoeddwyd: (2012)

Fieldwork for design : theory and practice /
gan: 182250 Randall Dave, et al.
Cyhoeddwyd: (2007)

Fusion on Haskell Unicode Strings
gan: Harper, T
Cyhoeddwyd: (2008)

Turbulence : an introduction to its mechanism and theory /
gan: 433149 Hinze, J. O.
Cyhoeddwyd: (1959)

Stream fusion on Haskell Unicode strings
gan: Harper, T
Cyhoeddwyd: (2009)

A Library Writer's Guide to Shortcut Fusion
gan: Harper, T
Cyhoeddwyd: (2011)

Leptoquark-mediated two-loop neutrino mass in unified theory
gan: Kevin Hinze, et al.
Cyhoeddwyd: (2024-07-01)

Stream fusion: practical shortcut fusion for coinductive sequence types
gan: Coutts, D
Cyhoeddwyd: (2011)

Fusion Categories and Homotopy Theory
gan: Etingof, Pavel I., et al.
Cyhoeddwyd: (2011)

Surveying : theory and practice :
gan: Anderson, James M. (James McMurry), 1926-, et al.
Cyhoeddwyd: (1998)

Proving The Unique Fixed−Point Principle Correct
gan: Hinze, R, et al.
Cyhoeddwyd: (2011)

A reflection−based proof tactic for lattices in Coq
gan: James, D, et al.
Cyhoeddwyd: (2009)

A reflection−based proof tactic for lattices in Coq
gan: James, D, et al.
Cyhoeddwyd: (2010)

A Reflection−based Proof Tactic for Lattices in Coq
gan: James, D, et al.
Cyhoeddwyd: (2009)

Reason isomorphically!
gan: Hinze, R, et al.
Cyhoeddwyd: (2010)

Uncertainty theories and multisensor data fusion /
gan: Appriou, Alain, author
Cyhoeddwyd: (2014)

Image fusion : theories, techniques and applications /
gan: 486069 Mitchell, H. B.
Cyhoeddwyd: (2010)

Fusion of conformal defects in interacting theories
gan: Alexander Söderberg Rousu
Cyhoeddwyd: (2023-10-01)

Zipper mechanism of nanotube fusion: theory and experiment.
gan: Yoon, M, et al.
Cyhoeddwyd: (2004)

Theories of Practice in Tourism /
gan: James, Laura, editor, et al.
Cyhoeddwyd: (2018)

Social development : theory & practice /
gan: 462730 Midgley, James
Cyhoeddwyd: (2014)

Mastery learning : theory and practice /
gan: Block, James H.
Cyhoeddwyd: (1971)

Public administration : theory and practice /
gan: 225357 Fesler, James William
Cyhoeddwyd: (1980)

Multiethnic education : theory and practice /
gan: 304319 Banks, James A.
Cyhoeddwyd: (1994)