Testing Polymorphic Properties

DOI10.1007/978-3-642-11957-6_8zbMath1260.68084OpenAlexW1532502754MaRDI QIDQ3558219

Koen Claessen, Jean-Philippe Bernardy, Patrik Jansson

Publication date: 4 May 2010

Published in: Programming Languages and Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-11957-6_8

zbMATH Keywords

polymorphismtestingparametricityinitiality

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (4)

Proving Properties about Functions on Lists Involving Element Tests ⋮ A representation theorem for second-order functionals ⋮ Semantics of multiway dataflow constraint systems ⋮ Refined typing to localize the impact of forced strictness on free theorems

This page was built for publication: Testing Polymorphic Properties