Concept-Controlled Polymorphism
No abstract available.
Related papers
- Controlling dynamic module composition through an extensible meta-level API DLS 2010
- Library composition and adaptation using c++ concepts GPCE 2007
- Getting F-bounded polymorphism into shape PLDI 2014
- A Relational Approach to Strictness Analysis for Higher-Order Polymorphic Functions POPL 1991
- Polymorphic Multi-stage Language with Control Effects APLAS 2011
- Object-Oriented Programming without Inheritance (Invited Talk) ECOOP 2015
- Weak Polymorphism can be Sound JFP 1996
- Polymorphic predicate abstraction TOPLAS 2005