Publication type: Conference / Author: Erdweg, Sebastian - Universitätsbibliographie Search Results

Start Over Publication type Conference Author Erdweg, Sebastian

41. Type systems for the masses: deriving soundness proofs and efficient checkers.

Autoren:: Grewe, Sylvia; Erdweg, Sebastian; Wittmann, Pascal; Mezini, Mira
Editoren:: Murphy, Gail C; Jr, Guy L Steele
Veröffentlichungsdatum:: 2015
Type:: Conference

42. Towards virtual traits in Scala.

Autoren:: Weiel, Manuel; Maier, Ingo; Erdweg, Sebastian; Eichberg, Michael; Mezini, Mira
Editoren:: Haller, Philipp; Miller, Heather
Veröffentlichungsdatum:: 2014
Type:: Conference

43. Sound type-dependent syntactic language extension.

Autoren:: Lorenzen, Florian; Erdweg, Sebastian
Editoren:: Bodík, Rastislav; Majumdar, Rupak
Veröffentlichungsdatum:: 2016
Type:: Conference

44. Principled syntactic code completion using placeholders.

Autoren:: Amorim, Luís Eduardo de Souza; Erdweg, Sebastian; Wachsmuth, Guido; Visser, Eelco
Editoren:: Storm, Tijs van der; Balland, Emilie; Varró, Dániel
Veröffentlichungsdatum:: 2016
Type:: Conference

45. Template constructors for reusable object initialization.

Autoren:: Martin, Marko; Mezini, Mira; Erdweg, Sebastian
Editoren:: Järvi, Jaakko; Kästner, Christian
Veröffentlichungsdatum:: 2013
Type:: Conference

46. Declarative specification of indentation rules: a tooling perspective on parsing and pretty-printing layout-sensitive languages.

Autoren:: Amorim, Luís Eduardo de Souza; Steindorfer, Michael J; Erdweg, Sebastian; Visser, Eelco
Editoren:: Pearce, David J; Mayerhofer, Tanja; Steimann, Friedrich
Veröffentlichungsdatum:: 2018
Type:: Conference

47. Scalable incremental building with dynamic task dependencies.

Autoren:: Konat, Gabriël; Erdweg, Sebastian; Visser, Eelco
Editoren:: Huchard, Marianne; Kästner, Christian; Fraser, Gordon
Veröffentlichungsdatum:: 2018
Type:: Conference

48. System Description: An Infrastructure for Combining Domain Knowledge with Automated Theorem Provers.

Autoren:: Grewe, Sylvia; Erdweg, Sebastian; Pacak, André; Mezini, Mira
Editoren:: Sabel, David; Thiemann, Peter
Veröffentlichungsdatum:: 2018
Type:: Conference

49. A Co-contextual Type Checker for Featherweight Java .

Autoren:: Kuci, Edlira; Erdweg, Sebastian; Bracevac, Oliver; Bejleri, Andi; Mezini, Mira
Editoren:: Müller, Peter
Veröffentlichungsdatum:: 2017
Type:: Conference

50. The IDE portability problem and its solution in Monto.

Autoren:: Keidel, Sven; Pfeiffer, Wulf; Erdweg, Sebastian
Editoren:: Storm, Tijs van der; Balland, Emilie; Varró, Dániel
Veröffentlichungsdatum:: 2016
Type:: Conference