Cited in
(33)- A Bayesian semiparametric approach to learning about gene-gene interactions in case-control studies
- 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
- An extended comparative study of language support for generic programming
- 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
- DINDE
- BRNGLR
- CLOS
- LISP
- mutatr
- Roxygen
- SPA3G
- Fortress
- PolyTOIL
- Jython
- TS#
- gradualizerDynamicSemantics
- TypeScript
- Dylan
- Tecton
- Sage
- scientific article; zbMATH DE number 1678043 (Why is no real title available?)
- Modular statically typed multimethods
- Theory and practice of unparsed patterns for metacompilation
- Space-efficient gradual typing
This page was built for software: Cecil
