@InProceedings{GE+15,
    Author       = "Grewe, S. and Erdweg, S. and Wittman, P. and Mezini, M.",
    Year         = "2015",
    Title        = "{Type Systems for the Masses: Deriving Soundness Proofs
                    and Efficient Checkers}",
    Editor       = "Murphy, G.",
    BookTitle    = "{Proceedings of Onward!}",
    Place        = "Pittsburg, USA",
    Publisher    = "ACM Press",
    Comment      = "TPTPRef"
}