Output details
15 - General Engineering
University of Abertay Dundee
Output title
Alloy: fast generic transformations for Haskell
Type
E - Conference contribution
Name of conference/published proceedings
Haskell '09: Proceedings of the 2nd ACM SIGPLAN on Haskell symposium, Edinburgh, 3 September 2009
Volume number
-
Issue number
-
First page of article
105
ISSN of proceedings
-
Year of publication
2009
URL
-
Number of additional authors
1
Additional information
This paper shows how we extended an existing approach to generic programming with homogeneous data types to meet the requirements of a real-world language compiler, including heterogeneous data types and considerably-improved efficiency on deeply-nested data structures. It was accepted to the ACM SIGPLAN Haskell Symposium, the most prestigious conference in the Haskell research community. Generic transformation remains an active field of research in the functional programming community, and several more recent developments have cited this work.
Interdisciplinary
-
Cross-referral requested
-
Research group
D - Modelling and Simulation Group
Proposed double-weighted
No
Double-weighted statement
-
Reserve for a double-weighted output
No
Non-English
No
English abstract
-