Multi-Methods in a Statically-Typed Programming Language
Abstract elided by the publisher.
Related papers
- Static Type Checking of Multi-Methods OOPSLA 1991
- Typechecking and Modules for Multi-Methods OOPSLA 1994
- Type-Based Verification of Connectivity Constraints in Lattice Surgery APLAS 2024
- Type-Checking Higher-Order Polymorphic Multi-Methods POPL 1997
- Static/Dynamic validation of MPI collective communications in multi-threaded context PPoPP 2015
- Macros as Multi-Stage Computations: Type-Safe, Generative, Binding Macros in MacroML ICFP 2001
- Open multi-methods for c++ GPCE 2007
- Certified symbolic management of financial multi-party contracts ICFP 2015