Graphs in METAFrame: The Unifying Power of Polymorphism
Abstract elided by the publisher.
Related papers
- The METAFrame'95 Environment CAV 1996
- DFA&OPT-METAFrame: A Tool Kit for Program Analysis and Optimazation TACAS 1996
- Familia: unifying interfaces, type classes, and family polymorphism OOPSLA 2017
- On the power of coercion abstraction POPL 2012
- A comprehensible guide to a new unifier for CIC including universe polymorphism and overloading JFP 2017
- Extensional Polymorphism by Flow Graph Dispatching APLAS 2003
- Navigating AND-OR Graph Modifications to Debug Failing Proof Search PLDI 2026
- Static interpretation of higher-order modules in Futhark: functional GPU programming in the large ICFP 2018