Cecil
From MaRDI portal
Software:22090
swMATH10122MaRDI QIDQ22090FDOQ22090
Author name not available (Why is that?)
Cited In (16)
- 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
- A Bayesian semiparametric approach to learning about gene–gene interactions in case-control studies
- Title not available (Why is that?)
- Modular statically typed multimethods
- Theory and practice of unparsed patterns for metacompilation
- Space-efficient gradual typing
This page was built for software: Cecil
