> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp: E-Book Titel: Co-Contextual Type Systems: Contextless Deductive Reasoning for Correct Incremental Type Checking Weitere Titel: Ko-Kontextuelle Typsysteme: Kontextlose Deduktion für Korrekte Inkrementelle Typprüfung Beteiligte: Kuci, Edlira [Verfasser:in]; Mezini, Mira [Akademische:r Betreuer:in]; Ostermann, Klaus [Akademische:r Betreuer:in]; Erdweg, Sebastian [Akademische:r Betreuer:in] Erschienen: Darmstadt: Universitäts- und Landesbibliothek Darmstadt, 2020 Umfang: Online-Ressource Sprache: Englisch Identifikator: Schlagwörter: Reasoning Entstehung: Hochschulschrift: Dissertation, Darmstadt, Technische Universität Darmstadt, 2019 Anmerkungen: Zugangsstatus: Freier Zugang