Parametricity for Haskell with Imprecise Error Semantics.

Florian Stenger Janis Voigtländer

Published in: TLCA (2009)

Keyphrases

formal semantics
programming language
uncertain information
functional programming
error rate
semantic information
error bounds
logic programming
conceptual model
data sets
information systems
metadata
error analysis
owl ontologies
transformation rules
qualitative information