publications:
- title: "Parametricity for Haskell with Imprecise Error Semantics"
  author:
  - name: "Florian Stenger"
    link: "http://www.simunova.com/node/129"
  - name: "Janis Voigtländer"
    link: "http://www.iai.uni-bonn.de/~jv/"
  year: "2009"
  doi: "http://dx.doi.org/10.1007/978-3-642-02273-9_22"
  abstract: "Error raising, propagation, and handling in Haskell can be             imprecise in the sense that a language implementation's              choice of local evaluation order, and optimizing              transformations to apply, may influence which of a number              of potential failure events hidden somewhere in a program is              actually triggered. While this has pragmatic advantages from              an implementation point of view, it also complicates the              meaning of programs and thus requires extra care when              reasoning about them. The proper semantic setup is one in              which every erroneous value represents a whole set of              potential (but not arbitrary) failure causes. The associated              propagation rules are somewhat askew to standard notions of              program flow and value dependence. As a consequence, standard              reasoning techniques are cast into doubt, and rightly so. We              study this issue in depth for one such reasoning technique,              namely the derivation of free theorems from polymorphic types.             We revise and extend the foundational notion of relational              parametricity, as well as further material required to make it              applicable."
  links:
    doi: "http://dx.doi.org/10.1007/978-3-642-02273-9_22"
  tags:
  - "programming languages"
  - "optimization"
  - "semantics"
  - "rule-based"
  - "data-flow language"
  - "transformation language"
  - "Haskell"
  - "data-flow programming"
  - "data-flow"
  - "rules"
  - "program optimization"
  - "higher-order transformations"
  - "transformation"
  - "program transformation"
  researchr: "https://researchr.org/publication/SV09a"
  cites: 0
  citedby: 0
  pages: "294-308"
  booktitle: "Typed Lambda Calculi and Applications, 9th International Conference, TLCA 2009, Brasilia, Brazil, July 1-3, 2009. Proceedings"
  editor:
  - name: "Pierre-Louis Curien"
    link: "https://researchr.org/alias/pierre-louis-curien"
  volume: "5608"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-642-02272-2"
  kind: "inproceedings"
  key: "SV09a"