For advanced search options you can also view this in the Forschungsinformationssystem of the TU Dresden.

Voigtländer, Janis ; Johann, P.
Selective strictness and parametricity in structural operational semantics, inequationally.
Typ der Veröffentlichung
Zeitschriftenaufsatz
Veröffentlicht in
Theoretical Computer Science
Schlagwörter
-
Jahrgang/Erscheinungsjahr
2007
Vermerk
keiner
Band/Vol.
388
Seiten
290-318
Referiert
Ja
Open Access
Ja
Zugeordnete Forschungsschwerpunkte
  • Gewichtete Baumautomaten und Baumübersetzer
Zugeordnete Forschungsprojekte
  • Ableitung von Programmeigenschaften aus polymorphen Typen in modernen funktionalen Sprachen
Berichtsjahr
2007
Export
Stand: 12.10.2017 16:02 Uhr