Type Fusion

Type Fusion

Show other versions (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...

书目详细资料
主要作者:	Hinze, R
格式:	Journal article
语言:	English
出版:	2011

相似书籍

Type Fusion
由: Hinze, R
出版: (2011)

Type Fusion
由: Hinze, R
出版: (2010)

Theory and practice of fusion
由: Hinze, R, et al.
出版: (2011)

Theory and Practice of Fusion
由: Hinze, R, et al.
出版: (2011)

Theory and Practice of Fusion
由: Hinze, R, et al.
出版: (2011)

Theory and Practice of Fusion
由: Hinze, R, et al.
出版: (2011)

Theory and Practice of Fusion
由: Hinze, R, et al.
出版: (2010)

Stream fusion: practical shortcut fusion for coinductive sequence types
由: Coutts, D
出版: (2011)

Fun with phantom types
由: Hinze, R
出版: (2003)

Typed Quote/Antiquote
由: Hinze, R
出版: (2004)

Derivable Type Classes
由: Hinze, R, et al.
出版: (2001)

Type−indexed Data Types
由: Hinze, R, et al.
出版: (2002)

Type−indexed data types
由: Hinze, R, et al.
出版: (2002)

Type−indexed data types
由: Hinze, R, et al.
出版: (2004)

Polytypic values possess polykinded types
由: Hinze, R
出版: (2015)

Polytypic Values Possess Polykinded Types
由: Hinze, R
出版: (2000)

Polytypic values possess polykinded types
由: Hinze, R
出版: (1999)

Typed quote/antiquote or: Compile-time parsing
由: Hinze, R
出版: (2011)

Typed Quote/Antiquote—Or: Compile−time Parsing
由: Hinze, R
出版: (2011)

First−Class Phantom Types
由: Cheney, J, et al.
出版: (2003)

Functional pearl typed quote/antiquote or: Compile-time parsing
由: Hinze, R
出版: (2011)

Open data types and open functions
由: Löh, A, et al.
出版: (2006)

Open data types and open functions
由: Hinze, R, et al.
出版: (2006)

Derivation of a Typed Functional LR Parser
由: Hinze, R, et al.
出版: (2003)

Typed Contracts for Functional Programming
由: Hinze, R, et al.
出版: (2006)

Control of fusion and solubility in fusion systems
由: Craven, D
出版: (2010)

Fusion.
由: Chua, Jamie Yanping., et al.
出版: (2008)

Review of the magnetic fusion program by the 1986 ERAB fusion panel
由: Davidson, R.C.
出版: (2015)

Biomechanical evaluation of two different types of interbody cages in posterior lumbar interbody fusion
由: Muhammad Hazli, Mazlan, et al.
出版: (2020)

Fusion and reform: the potential for identity fusion to reduce recidivism and improve reintegration
由: Whitehouse, H, et al.
出版: (2020)

Highway fusion
由: Abu-Adas, Wael
出版: (2011)

Honey fusion
由: Abdul Karim, Muhammad Shahrim, et al.
出版: (2013)

Patterns of fusion
由: Getzler, J
出版: (1997)

Fusion of defects
由: Bartels, A, et al.
出版: (2019)

Nuclear fusion/
由: 409315 Hulme, Henry Rainsford, et al.

IT fusion methodology /
由: 409746 Chang, Ai Ling
出版: (1999)

Thought–action fusion in individuals with a history of recurrent depression and suicidal depression: findings from a community sample
由: Gjelsvik, B, et al.
出版: (2018)

Homotypic fusion of early endosomes: SNAREs do not determine fusion specificity.
由: Brandhorst, D, et al.
出版: (2006)

Conversion of Freiburg (Fusion) Biobricks to the Silver (BioFusion) format
由: Grunberg, Raik
出版: (2009)

Revisiting far/near infrared pyramid-based fusion types for night vision using matlab
由: Mehfooz, Osama, et al.
出版: (2011)