swMATH10122MaRDI QIDQ22090FDOQ22090
Author name not available (Why is that?)
Official website: https://link.springer.com/chapter/10.1007%2FBFb0053029
Cited In (30)
- An extended comparative study of language support for generic programming
- Dependent types with subtyping and late-bound overloading
- Type-safe covariant specialization with generalized matching
- Integration of parametric and ``ad hoc second order polymorphism in a calculus with subtyping
- Abstraction over implementation structure with symmetrically encapsulated multimethods
- Mutable objects in R
- Delegation by object composition
- Multiple dispatch in reflective runtime environment
- Operational semantics for multi-language programs
- Design and evaluation of C++ open multi-methods
- Practical Optional Types for Clojure
- Elkhound
- LISP
- mutatr
- Roxygen
- SPA3G
- Fortress
- PolyTOIL
- Jython
- TS#
- gradualizerDynamicSemantics
- TypeScript
- Dylan
- Tecton
- Sage
- Title not available (Why is that?)
- Modular statically typed multimethods
- Theory and practice of unparsed patterns for metacompilation
- Space-efficient gradual typing
- A Bayesian semiparametric approach to learning about gene-gene interactions in case-control studies
This page was built for software: Cecil
