The following pages link to Testing Polymorphic Properties (Q3558219):
Displaying 5 items.
- Refined typing to localize the impact of forced strictness on free theorems (Q766167) (← links)
- Semantics of multiway dataflow constraint systems (Q2043794) (← links)
- Proving Properties about Functions on Lists Involving Element Tests (Q2890338) (← links)
- Parameterized property testing of functions (Q4638061) (← links)
- A representation theorem for second-order functionals (Q5371942) (← links)