Type Fusion

Type Fusion

Taispeáin leaganacha eile (2)

Fusion is an indispensable tool in the arsenal of techniques for program derivation. Less well-known, but equally valuable is type fusion, which states conditions for fusing an application of a functor with an initial algebra to form another initial algebra. We provide a novel proof of type fusion b...

Cur síos iomlán

Sonraí bibleagrafaíochta
Príomhchruthaitheoir:	Hinze, R
Formáid:	Journal article
Teanga:	English
Foilsithe / Cruthaithe:	2011

Míreanna comhchosúla

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

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

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: (2011)

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

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

Fun with phantom types
de réir: Hinze, R
Foilsithe / Cruthaithe: (2003)

Typed Quote/Antiquote
de réir: Hinze, R
Foilsithe / Cruthaithe: (2004)

Derivable Type Classes
de réir: Hinze, R, et al.
Foilsithe / Cruthaithe: (2001)

Polytypic values possess polykinded types
de réir: Hinze, R
Foilsithe / Cruthaithe: (2015)

Polytypic Values Possess Polykinded Types
de réir: Hinze, R
Foilsithe / Cruthaithe: (2000)

Polytypic values possess polykinded types
de réir: Hinze, R
Foilsithe / Cruthaithe: (1999)

Type−indexed Data Types
de réir: Hinze, R, et al.
Foilsithe / Cruthaithe: (2002)

Type−indexed data types
de réir: Hinze, R, et al.
Foilsithe / Cruthaithe: (2002)

Type−indexed data types
de réir: Hinze, R, et al.
Foilsithe / Cruthaithe: (2004)

Typed quote/antiquote or: Compile-time parsing
de réir: Hinze, R
Foilsithe / Cruthaithe: (2011)

Typed Quote/Antiquote—Or: Compile−time Parsing
de réir: Hinze, R
Foilsithe / Cruthaithe: (2011)

First−Class Phantom Types
de réir: Cheney, J, et al.
Foilsithe / Cruthaithe: (2003)

Functional pearl typed quote/antiquote or: Compile-time parsing
de réir: Hinze, R
Foilsithe / Cruthaithe: (2011)

Open data types and open functions
de réir: Löh, A, et al.
Foilsithe / Cruthaithe: (2006)

Open data types and open functions
de réir: Hinze, R, et al.
Foilsithe / Cruthaithe: (2006)

Derivation of a Typed Functional LR Parser
de réir: Hinze, R, et al.
Foilsithe / Cruthaithe: (2003)

Typed Contracts for Functional Programming
de réir: Hinze, R, et al.
Foilsithe / Cruthaithe: (2006)

Control of fusion and solubility in fusion systems
de réir: Craven, D
Foilsithe / Cruthaithe: (2010)

Fusion.
de réir: Chua, Jamie Yanping., et al.
Foilsithe / Cruthaithe: (2008)

Review of the magnetic fusion program by the 1986 ERAB fusion panel
de réir: Davidson, R.C.
Foilsithe / Cruthaithe: (2015)

Fusion and reform: the potential for identity fusion to reduce recidivism and improve reintegration
de réir: Whitehouse, H, et al.
Foilsithe / Cruthaithe: (2020)

Biomechanical evaluation of two different types of interbody cages in posterior lumbar interbody fusion
de réir: Muhammad Hazli, Mazlan, et al.
Foilsithe / Cruthaithe: (2020)

Highway fusion
de réir: Abu-Adas, Wael
Foilsithe / Cruthaithe: (2011)

Honey fusion
de réir: Abdul Karim, Muhammad Shahrim, et al.
Foilsithe / Cruthaithe: (2013)

Patterns of fusion
de réir: Getzler, J
Foilsithe / Cruthaithe: (1997)

Fusion of defects
de réir: Bartels, A, et al.
Foilsithe / Cruthaithe: (2019)

Nuclear fusion/
de réir: 409315 Hulme, Henry Rainsford, et al.

IT fusion methodology /
de réir: 409746 Chang, Ai Ling
Foilsithe / Cruthaithe: (1999)

Thought–action fusion in individuals with a history of recurrent depression and suicidal depression: findings from a community sample
de réir: Gjelsvik, B, et al.
Foilsithe / Cruthaithe: (2018)

Homotypic fusion of early endosomes: SNAREs do not determine fusion specificity.
de réir: Brandhorst, D, et al.
Foilsithe / Cruthaithe: (2006)

Conversion of Freiburg (Fusion) Biobricks to the Silver (BioFusion) format
de réir: Grunberg, Raik
Foilsithe / Cruthaithe: (2009)

Fusion technology 1978 : proceedings of the tenth Symposium on Fusion Technology
de réir: Symposium on Fusion Technology (10th : 1978: Padova)
Foilsithe / Cruthaithe: (1979)