|
Eine Ebene nach oben |
Gruppiert nach:
Dokumententyp
| Veröffentlichungsdatum
Springe zu: Zeitschriftenartikel
Anzahl der Publikationen: 1
Zeitschriftenartikel
Jost, Steffen; Vasconcelos, Pedro; Florido, Mario und Hammond, Kevin
(2017):
Type-Based Cost Analysis for Lazy Functional Languages.
In: Journal of Automated Reasoning, Bd. 59, Nr. 1: S. 87-120