References in zbMATH (referenced in 19 articles )

Showing results 1 to 19 of 19.
Sorted by year (citations)

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