Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

19

AMAST
2010
Springer

favoriteEmaildiscussreport

243views Software Engineering» more AMAST 2010»

Type Fusion

12 years 11 months ago

Download www.comlab.ox.ac.uk

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 based on adjoint folds and discuss several applications: type firstification, type specialisation and tabulation.

Ralf Hinze

Real-time Traffic

AMAST 2010 | Indispensable Tool | Initial Algebra | Software Engineering | Type Fusion |

claim paper

Related Content

» An AttentionBased Decision Fusion Scheme for Multimedia Information Retrieval

» Minimum Cost Data Aggregation with Localized Processing for Statistical Inference

» Fusion with stacks and accumulating parameters

» Robust multimodal biometric fusion via multiple SVMs

» Map fusion for nested datatypes in intensional type theory

» F2 New Technique for Recognition of User Emotional States in Spoken Dialogue Systems

» Analyzing Interactive QA Dialogues Using Logistic Regression Models

» Rewriting Haskell Strings

» Fuzzy integral based information fusion for classification of highly confusable nonspeech ...

Post Info
More Details (n/a)

Added	12 May 2011
Updated	12 May 2011
Type	Journal
Year	2010
Where	AMAST
Authors	Ralf Hinze

Comments (0)