Faddegon, Maarten, Chitil, Olaf (2014) Type Generic Observing. In: Hage, Jurriaan and McCarthy, Jay, eds. Type Generic Observing. 15th International Symposium on Trends in Functional Programming, TFP 2014. LNCS 8843 . pp. 84-103. Springer ISBN 978-3-319-14674-4. E-ISBN 978-3-319-14675-1. (doi:10.1007/978-3-319-14675-1_6) (KAR id:49013)
|
PDF (As sent to publisher; published version has different layout.)
Publisher pdf
Language: English |
|
|
Download (230kB)
Preview
|
Preview |
|
This file may not be suitable for users of assistive technology.
Request an accessible format
|
|
| Official URL http://dx.doi.org/10.1007/978-3-319-14675-1_6 |
|
Abstract
Observing intermediate values helps to understand what is going on when your program runs.
preserves the program's semantics.
a laborious task and strictness of the program can easily be affected.
by applying generic programming frameworks.
We discuss especially functional values and behaviour based on class membership
in generic programming frameworks.
| Item Type: | Conference or workshop item (Paper) |
|---|---|
| DOI/Identification number: | 10.1007/978-3-319-14675-1_6 |
| Uncontrolled keywords: | Haskell, HOOD, observing values, debugging, tracing |
| Subjects: | Q Science > QA Mathematics (inc Computing science) > QA 76 Software, computer programming, > QA76.76 Computer software |
| Divisions: | Divisions > Division of Computing, Engineering and Mathematical Sciences > School of Computing |
| Depositing User: | Olaf Chitil |
| Date Deposited: | 12 Jun 2015 10:36 UTC |
| Last Modified: | 16 Feb 2021 13:25 UTC |
| Resource URI: | https://kar.kent.ac.uk/id/eprint/49013 (The current URI for this page, for reference purposes) |
| Chitil, Olaf: |  https://orcid.org/0000-0001-7986-9929 |
- Link to SensusAccess
- Export to:
- RefWorks
- EPrints3 XML
- BibTeX
- CSV
- Depositors only (login required):
Altmetric
Altmetric
