References in zbMATH (referenced in 21 articles )

1. Bhattacharya, Durba; Bhattacharya, Sourabh: A Bayesian semiparametric approach to learning about gene-gene interactions in case-control studies (2018)
2. Bonnaire-Sergeant, Ambrose; Davies, Rowan; Tobin-Hochstadt, Sam: Practical optional types for Clojure (2016)
3. Lievens, David; Harrison, William: Abstraction over implementation structure with symmetrically encapsulated multimethods (2013)
4. Reza, Juan Rolando: Java supervenience (2012) ioport
5. Bettini, Lorenzo; Bono, Viviana; Venneri, Betti: Delegation by object composition (2011)
6. Wickham, Hadley: Mutable objects in R (2011)
7. Herman, David; Tomb, Aaron; Flanagan, Cormac: Space-efficient gradual typing (2010)
8. Pirkelbauer, Peter; Solodkyy, Yuriy; Stroustrup, Bjarne: Design and evaluation of C++ open multi-methods (2010)
9. Rinderknecht, Christian; Volanschi, Nic: Theory and practice of unparsed patterns for metacompilation (2010)
10. Hassine, Jameleddine; Rilling, Juergen; Dssouli, Rachida: Use case maps as a property specification language (2009) ioport
11. Garcia, Ronald; Järvi, Jaakko; Lumsdaine, Andrew; Siek, Jeremy; Willcock, Jeremiah: An extended comparative study of language support for generic programming (2007)
12. Kumar, Rajeev; Agrawal, Vikram: Multiple dispatch in reflective runtime environment (2007)
13. Matthews, Jacob; Findler, Robert Bruce: Operational semantics for multi-language programs (2007)
14. Gregor, Douglas; Järvi, Jaakko; Kulkarni, Mayuresh; Lumsdaine, Andrew; Musser, David; Schupp, Sibylle: Generic programming and high-performance libraries (2005) ioport
15. Luke Tierney: Some Notes on the Past and Future of Lisp-Stat (2005) not zbMATH
16. Craig, Iain: The interpretation of object-oriented programming languages. (2002)
17. Millstein, Todd; Chambers, Craig: Modular statically typed multimethods (2002)
18. Rinat, Ran: Type-safe covariant specialization with generalized matching (2002)
19. Castagna, Giuseppe; Chen, Gang: Dependent types with subtyping and late-bound overloading (2001)
20. Castagna, Giuseppe: Integration of parametric and “ad hoc” second order polymorphism in a calculus with subtyping (1996)