Complete Abstractions for Verification of Polymorphic Functions with Equality
No abstract available.
Related papers
- Parametricity, type equality, and higher-order polymorphism JFP 2010
- Sound and complete bidirectional typechecking for higher-rank polymorphism with existentials and indexed types POPL 2019
- On Polymorphic Sessions and Functions - A Tale of Two (Fully Abstract) Encodings ESOP 2018
- On Polymorphic Sessions and Functions: A Tale of Two (Fully Abstract) Encodings TOPLAS 2021
- System FC with explicit kind equality ICFP 2013
- A logical analysis of aliasing in imperative higher-order functions ICFP 2005
- Polymorphic string matching Haskell 2005
- Type-safe cast JFP 2004