Applicative Bidirectional Programming with Lenses
- Submitting institution
-
University of Bristol
- Unit of assessment
- 11 - Computer Science and Informatics
- Output identifier
- 147582464
- Type
- E - Conference contribution
- DOI
-
10.1145/2784731.2784750
- Title of conference / published proceedings
- ICFP '15 Proceedings of the 20th ACM SIGPLAN International Conference on Functional Programming
- First page
- 62
- Volume
- -
- Issue
- -
- ISSN
- -
- Open access status
- -
- Month of publication
- August
- Year of publication
- 2015
- URL
-
-
- Supplementary information
-
-
- Request cross-referral to
- -
- Output has been delayed by COVID-19
- No
- COVID-19 affected output statement
- -
- Forensic science
- No
- Criminology
- No
- Interdisciplinary
- No
- Number of additional authors
-
1
- Research group(s)
-
D - Fundamentals of Computing
- Citation count
- 7
- Proposed double-weighted
- No
- Reserve for an output with double weighting
- No
- Additional information
- This paper is acknowledged (e.g., [Mayer et al, PACMPL, 2018]) to be the first to link bidirectional programs with mainstream functional programs, enabling a new style of programming. This work has made major contributions to the emerging area of bidirectional programming, as it fundamentally changes the understanding of how bidirectional programs can be constructed. The paper formed a key part of the underpinning research for Wang’s successful EPSRC proposal (EP/T008911/1; £430K) and has been cited by leading experts Pierce, Chugh, Stevens, Hu, and Voigtländer for making bidirectional programming “an unrestricted style of functional programming”.
- Author contribution statement
- -
- Non-English
- No
- English abstract
- -