TU Darmstadt / ULB / TUbiblio

Browse by Person

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: No Grouping | Item Type | Date | Language
Number of items: 2.

Eichholz, Matthias ; Campbell, Eric Hayden ; Krebs, Matthias ; Foster, Nate ; Mezini, Mira (2022):
Dependently-Typed Data Plane Programming.
In: Proceedings of the ACM on Programming Languages, 6 (POPL), ACM, ISSN 2475-1421,
DOI: 10.1145/3498701,

Erdweg, Sebastian ; Bračevac, Oliver ; Kuci, Edlira ; Krebs, Matthias ; Mezini, Mira (2015):
A Co-contextual Formulation of Type Rules and Its Application to Incremental Type Checking.
In: OOPSLA 2015, In: Proceedings of the 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications, pp. 880-897, New York, NY, USA, ACM, ISBN 978-1-4503-3689-5,
[Book Section]

This list was generated on Sat Jun 3 00:16:31 2023 CEST.