Practical Variable-Arity Polymorphism
Abstract elided by the publisher.
Related papers
- Higher-Order Arity Raising ICFP 1998
- Kinds are calling conventions ICFP 2020
- A Practical Soft Type System for Scheme TOPLAS 1997
- Arity Raiser and its Use in Program Specialization ESOP 1990
- Contraint-Based Polymorphism in Cecil: Towards a Practical and Static Type System OOPSLA 1998
- A polymorphic modal type system for lisp-like multi-staged languages POPL 2006
- A Simple Technique for Handling Multiple Polymorphism OOPSLA 1986
- Parametric polymorphism for XML POPL 2005