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
[thumbnail of As sent to publisher; published version has different layout.]
This file may not be suitable for users of assistive technology.
Request an accessible format
Official URL


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: (The current URI for this page, for reference purposes)
Chitil, Olaf:
  • Depositors only (login required):


Downloads per month over past year