Theory and Practice of Fusion

Theory and Practice of Fusion

Taispeáin leaganacha eile (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...

Cur síos iomlán

Sonraí bibleagrafaíochta
Príomhchruthaitheoirí:	Hinze, R, James, D, Harper, T
Formáid:	Conference item
Foilsithe / Cruthaithe:	Springer−Verlag 2011

Míreanna comhchosúla

Theory and practice of fusion
de réir: Hinze, R, et al.
Foilsithe / Cruthaithe: (2011)

Theory and Practice of Fusion
de réir: Hinze, R, et al.
Foilsithe / Cruthaithe: (2011)

Theory and Practice of Fusion
de réir: Hinze, R, et al.
Foilsithe / Cruthaithe: (2011)

Theory and Practice of Fusion
de réir: Hinze, R, et al.
Foilsithe / Cruthaithe: (2010)

Theory and practice of shortcut fusion
de réir: Harper, T
Foilsithe / Cruthaithe: (2013)

Generic Haskell: Practice and Theory
de réir: Hinze, R, et al.
Foilsithe / Cruthaithe: (2003)

Generic Haskell: Practice and Theory
de réir: Hinze, R, et al.
Foilsithe / Cruthaithe: (2003)

Type Fusion
de réir: Hinze, R
Foilsithe / Cruthaithe: (2011)

Type Fusion
de réir: Hinze, R
Foilsithe / Cruthaithe: (2011)

Type Fusion
de réir: Hinze, R
Foilsithe / Cruthaithe: (2010)

Handbook of multisensor data fusion : theory and practice /
de réir: Liggins, Martin E., et al.
Foilsithe / Cruthaithe: (2009)

Proving the Unique Fixed-Point Principle Correct An Adventure with Category Theory
de réir: Hinze, R, et al.
Foilsithe / Cruthaithe: (2011)

Proving the unique fixed−point principle correct: an adventure with category theory
de réir: Hinze, R, et al.
Foilsithe / Cruthaithe: (2011)

Projection−based Strictness Analysis — Theoretical and Practical Aspects
de réir: Hinze, R
Foilsithe / Cruthaithe: (1995)

Sorting with Bialgebras and Distributive Laws
de réir: Hinze, R, et al.
Foilsithe / Cruthaithe: (2012)

Sorting with Bialgebras and Distributive Laws
de réir: Hinze, R, et al.
Foilsithe / Cruthaithe: (2012)

Sorting with bialgebras and distributive laws
de réir: Hinze, R, et al.
Foilsithe / Cruthaithe: (2012)

Fieldwork for design : theory and practice /
de réir: 182250 Randall Dave, et al.
Foilsithe / Cruthaithe: (2007)

Fusion on Haskell Unicode Strings
de réir: Harper, T
Foilsithe / Cruthaithe: (2008)

Turbulence : an introduction to its mechanism and theory /
de réir: 433149 Hinze, J. O.
Foilsithe / Cruthaithe: (1959)

Stream fusion on Haskell Unicode strings
de réir: Harper, T
Foilsithe / Cruthaithe: (2009)

A Library Writer's Guide to Shortcut Fusion
de réir: Harper, T
Foilsithe / Cruthaithe: (2011)

Leptoquark-mediated two-loop neutrino mass in unified theory
de réir: Kevin Hinze, et al.
Foilsithe / Cruthaithe: (2024-07-01)

Stream fusion: practical shortcut fusion for coinductive sequence types
de réir: Coutts, D
Foilsithe / Cruthaithe: (2011)

Fusion Categories and Homotopy Theory
de réir: Etingof, Pavel I., et al.
Foilsithe / Cruthaithe: (2011)

Surveying : theory and practice :
de réir: Anderson, James M. (James McMurry), 1926-, et al.
Foilsithe / Cruthaithe: (1998)

Proving The Unique Fixed−Point Principle Correct
de réir: Hinze, R, et al.
Foilsithe / Cruthaithe: (2011)

A reflection−based proof tactic for lattices in Coq
de réir: James, D, et al.
Foilsithe / Cruthaithe: (2009)

A reflection−based proof tactic for lattices in Coq
de réir: James, D, et al.
Foilsithe / Cruthaithe: (2010)

A Reflection−based Proof Tactic for Lattices in Coq
de réir: James, D, et al.
Foilsithe / Cruthaithe: (2009)

Reason isomorphically!
de réir: Hinze, R, et al.
Foilsithe / Cruthaithe: (2010)

Uncertainty theories and multisensor data fusion /
de réir: Appriou, Alain, author
Foilsithe / Cruthaithe: (2014)

Image fusion : theories, techniques and applications /
de réir: 486069 Mitchell, H. B.
Foilsithe / Cruthaithe: (2010)

Fusion of conformal defects in interacting theories
de réir: Alexander Söderberg Rousu
Foilsithe / Cruthaithe: (2023-10-01)

Zipper mechanism of nanotube fusion: theory and experiment.
de réir: Yoon, M, et al.
Foilsithe / Cruthaithe: (2004)

Theories of Practice in Tourism /
de réir: James, Laura, editor, et al.
Foilsithe / Cruthaithe: (2018)

Social development : theory & practice /
de réir: 462730 Midgley, James
Foilsithe / Cruthaithe: (2014)

Mastery learning : theory and practice /
de réir: Block, James H.
Foilsithe / Cruthaithe: (1971)

Public administration : theory and practice /
de réir: 225357 Fesler, James William
Foilsithe / Cruthaithe: (1980)

Multiethnic education : theory and practice /
de réir: 304319 Banks, James A.
Foilsithe / Cruthaithe: (1994)