References in zbMATH (referenced in 21 articles )

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

1 2 next

  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)

1 2 next