@inproceedings(backes2011automatically,
 author       = "Michael Backes and C{\u {a}}t{\u {a}}lin Hri{\c {t}}cu and Thorsten Tarrach",
 year         = "2011",
 title        = "Automatically verifying typing constraints for a data processing language",
 booktitle    = "Certified Programs and Proofs",
 publisher    = "Springer",
 pages        = "296--313",
 doi          = "10.1007/978-3-642-25379-9\_22",
)
@inproceedings(bierman2010semantic,
 author       = "Gavin M. Bierman and Andrew D. Gordon and C\u {a}t\u {a}lin Hri\c {t}cu and David Langworthy",
 year         = "2010",
 title        = "Semantic Subtyping with an SMT Solver",
 series       = "ICFP '10",
 pages        = "105--116",
 doi          = "10.1145/1863543.1863560",
)
@inproceedings(Chin11,
 author       = "Wei-Ngan Chin and Cristina David and Cristian Gherghina",
 year         = "2011",
 title        = "A {HIP} and {SLEEK} verification system",
 booktitle    = "SPLASH",
 pages        = "9--10",
 doi          = "10.1145/2048147.2048152",
)
@inproceedings(ChinOO,
 author       = "Wei-Ngan Chin and Cristina David and Huu Hai Nguyen and Shengchao Qin",
 year         = "2008",
 title        = "Enhancing modular {OO} verification with separation logic",
 booktitle    = "POPL",
 pages        = "87--99",
 doi          = "10.1145/1328438.1328452",
)
@inproceedings(Damiani,
 author       = "Ferruccio Damiani and Johan Dovland and Einar Broch Johnsen and Ina Schaefer",
 year         = "2011",
 title        = "Verifying traits: a proof system for fine-grained reuse",
 booktitle    = "FTfJP",
 pages        = "8:1--8:6",
 doi          = "10.1145/2076674.2076682",
)
@inproceedings(Distefano08:OOPSLA,
 author       = "Dino Distefano and Matthew J. Parkinson",
 year         = "2008",
 title        = "jStar: towards practical verification for java",
 booktitle    = "OOPSLA",
 pages        = "213--226",
 doi          = "10.1145/1449764.1449782",
)
@article(Dovland:2011,
 author       = "Johan Dovland and Einar Broch Johnsen and Olaf Owe and Martin Steffen",
 year         = "2011",
 title        = "Incremental reasoning with lazy behavioral subtyping for multiple inheritance",
 journal      = "Sci. Comput. Program.",
 doi          = "10.1016/j.scico.2010.09.006",
)
@article(Ducasse06,
 author       = "St{\'e}phane Ducasse and Oscar Nierstrasz and Nathanael Sch{\"a}rli and Roel Wuyts and Andrew P. Black",
 year         = "2006",
 title        = "Traits: A mechanism for fine-grained reuse",
 journal      = "ACM Trans. Program. Lang. Syst.",
 volume       = "28",
 number       = "2",
 pages        = "331--388",
 doi          = "10.1145/1119479.1119483",
)
@inproceedings(Koksal,
 author       = "Ali Sinan K\"{o}ksal and Viktor Kuncak and Philippe Suter",
 year         = "2011",
 title        = "Scala to the power of {Z}3: integrating SMT and programming",
 booktitle    = "CADE",
 pages        = "400--406",
 doi          = "10.1007/978-3-642-22438-6\_30",
)
@techreport(Martin:Scala,
 author       = "Martin Odersky and Philippe Altherr and Vincent Cremet and Iulian Dragos and Gilles Dubochet and Burak Emir and Sean McDirmid and Stéphane Micheloud and Nikolay Mihaylov and Michel Schinz and Erik Stenman and Lex Spoon and Matthias Zenger",
 year         = "2006",
 title        = "An Overview of the Scala Programming Language",
 type         = "Technical Report",
 institution  = "EPFL",
)
@inproceedings(Parkinson08:POPL,
 author       = "Matthew J. Parkinson and Gavin M. Bierman",
 year         = "2008",
 title        = "Separation logic, abstraction and inheritance",
 booktitle    = "POPL",
 pages        = "75--86",
 doi          = "10.1145/1328438.1328451",
)