Skip to main content

Type Generic Observing

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
[img]
Preview
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: Faculties > Sciences > School of Computing > Programming Languages and Systems Group
Depositing User: Olaf Chitil
Date Deposited: 12 Jun 2015 10:36 UTC
Last Modified: 23 Jan 2020 04:10 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
  • Depositors only (login required):

Downloads

Downloads per month over past year