Back to Results
First PageMeta Content
Software engineering / Declarative programming / Mathematics / Type theory / Functional programming / Functions and mappings / Polymorphism / Computability theory / Parametricity / Auxiliary function / Currying / Functor


Testing Polymorphic Properties Jean-Philippe Bernardy, Patrik Jansson, and Koen Claessen Chalmers University of Technology {bernardy,patrikj,koen}@chalmers.se Abstract. This paper is concerned with testing properties of
Add to Reading List

Document Date: 2010-06-21 11:04:54


Open Document

File Size: 199,25 KB

Share Result on Facebook