PER Models of Subtyping, Recursive Types and Higher-Order Polymorphism
No abstract available.
Related papers
- Parametric polymorphism and semantic subtyping: the logical connection ICFP 2011
- A Logical Approach to Deciding Semantic Subtyping TOPLAS 2015
- Type-base flow analysis: from polymorphic subtyping to CFL-reachability POPL 2001
- On Higher-Order Model Checking of Effectful Answer-Type-Polymorphic Programs OOPSLA 2025
- Representing Java Classes in a Typed Intermediate Language ICFP 1999
- Types and trace effects of higher order programs JFP 2008
- Foundations for the Implementation of Higher-Order Subtyping ICFP 1997
- The Simple Essence of Monomorphization OOPSLA 2025