Output details
11 - Computer Science and Informatics
University of Strathclyde
Output title
Foundations for structured programming with GADTs
Type
E - Conference contribution
Name of conference/published proceedings
Proceedings of the 35th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2008
Volume number
-
Issue number
-
First page of article
297
ISSN of proceedings
-
Year of publication
2008
URL
-
Number of additional authors
1
Additional information
<11>The paper's significance was giving GADTs (the core theory of data types in the state of the art functional programming language Haskell) a firm denotational footing - previously GADTs were simply a Haskell specific technique. This algebraic presentation of GADTs provided new insights and tools for the study of GADTs and consequently the paper has had a major influence on the field and become part of the core literature on GADTs (as evidenced by wide use and/or citation by other researchers). Further evidence of significance is its publication at POPL - the most prestigious conference for research into programming languages.
Interdisciplinary
-
Cross-referral requested
-
Research group
A - Theoretical Computer Science
Citation count
-
Proposed double-weighted
No
Double-weighted statement
-
Reserve for a double-weighted output
No
Non-English
No
English abstract
-