A co-contextual formulation of type rules and its application to incremental type checking - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Sebastian Erdweg, Oliver Bracevac, Edlira Kuci, Matthias Krebs, Mira Mezini. A co-contextual formulation of type rules and its application to incremental type checking. In Jonathan Aldrich, Patrick Eugster, editors, Proceedings of the 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications. pages 880-897, ACM, 2015. [doi]

Identified as Sebastian Erdweg This author has not been identified. Look up 'Oliver Bracevac' in GoogleThis author has not been identified. Look up ' Edlira Kuci' in GoogleThis author has not been identified. Look up 'Matthias Krebs' in GoogleThis author has not been identified. Look up 'Mira Mezini' in Google

runs on WebDSL