Extensional Polymorphism by Flow Graph Dispatching
Abstract elided by the publisher.
Related papers
- Reducing Indirect Function call Overhead in C++ Programs POPL 1994
- Call graphs for languages with parametric polymorphism OOPSLA 2016
- Generic Polymorphism POPL 1995
- Type checking modular multiple dispatch with parametric polymorphism and multiple inheritance OOPSLA 2011
- Polymorphic symmetric multiple dispatch with variance POPL 2019
- Abstract extensionality: on the properties of incomplete abstract interpretations POPL 2020
- Scalable context-sensitive flow analysis using instantiation constraints PLDI 2000
- How to safely use extensionality in Liquid Haskell Haskell 2022