Testing Polymorphic Properties
No abstract available.
Related papers
- Logarithm and program testing POPL 2022
- Polymorphic coverage types JFP 2026
- Polymorphic string matching Haskell 2005
- Inference of Polymorphic and Conditional Strictness Properties POPL 1998
- On polymorphic gradual typing ICFP 2017
- A unification algorithm for Coq featuring universe polymorphism and overloading ICFP 2015
- Parametric polymorphism and semantic subtyping: the logical connection ICFP 2011
- The YogiProject: Software Property Checking via Static Analysis and Testing TACAS 2009