Treffer 1 - 3 von 3 für Suche 'Matthiesen, Justus', Suchdauer: 0,33s Treffer weiter einschränken
  1. 1
    A Dependent Type Theory with Abstractable Names

    A Dependent Type Theory with Abstractable Names von Pitts, Andrew M., Matthiesen, Justus, Derikx, Jasper


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  2. 2
    Into the depths of C: elaborating the de facto standards

    Into the depths of C: elaborating the de facto standards von Memarian, Kayvan, Matthiesen, Justus, Lingard, James, Nienhuis, Kyndylan, Chisnall, David, Watson, Robert N. M., Sewell, Peter

    Veröffentlicht in SIGPLAN notices

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  3. 3
    Research data supporting "Into the Depths of C: Elaborating the De Facto Standards"

    Research data supporting "Into the Depths of C: Elaborating the De Facto Standards" von Memarian, Kayvan, Matthiesen, Justus, Lingard, James, Nienhuis, Kyndylan, Chisnall, David, Watson, Robert N. M, Sewell, Peter

    Volltext bestellen
    Dataset

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: