Improving Haskell
Attributed to:
Mind the Gap: Unified Reasoning About Program Correctness and Efficiency
funded by
EPSRC
Abstract
No abstract provided
Bibliographic Information
Digital Object Identifier: http://dx.doi.org/10.1007/978-3-030-18506-0_6
Publication URI: http://dx.doi.org/10.1007/978-3-030-18506-0_6
Type: Book Chapter
Book Title: Trends in Functional Programming - 19th International Symposium, TFP 2018, Gothenburg, Sweden, June 11-13, 2018, Revised Selected Papers (2019)
Page Reference: 114-135