Type Fusion
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...
| Հիմնական հեղինակ: | |
|---|---|
| Ձևաչափ: | Journal article |
| Լեզու: | English |
| Հրապարակվել է: |
2011
|
| _version_ | 1826259073866137600 |
|---|---|
| author | Hinze, R |
| author_facet | Hinze, R |
| author_sort | Hinze, R |
| collection | OXFORD |
| description | 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. © 2011 Springer-Verlag Berlin Heidelberg. |
| first_indexed | 2024-03-06T18:44:06Z |
| format | Journal article |
| id | oxford-uuid:0de79c0b-516e-4177-af27-886247187a1f |
| institution | University of Oxford |
| language | English |
| last_indexed | 2024-03-06T18:44:06Z |
| publishDate | 2011 |
| record_format | dspace |
| spelling | oxford-uuid:0de79c0b-516e-4177-af27-886247187a1f2022-03-26T09:43:02ZType FusionJournal articlehttp://purl.org/coar/resource_type/c_dcae04bcuuid:0de79c0b-516e-4177-af27-886247187a1fEnglishSymplectic Elements at Oxford2011Hinze, RFusion 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. © 2011 Springer-Verlag Berlin Heidelberg. |
| spellingShingle | Hinze, R Type Fusion |
| title | Type Fusion |
| title_full | Type Fusion |
| title_fullStr | Type Fusion |
| title_full_unstemmed | Type Fusion |
| title_short | Type Fusion |
| title_sort | type fusion |
| work_keys_str_mv | AT hinzer typefusion |