Auflistung nach Autor "Thiemann, Peter"
Anzeige der Dokumente 1-5 von 5
-
Gradual typing for annotated type systems
Fennell, Luminous; Thiemann, Peter
45-46 -
Static analysis of the frequency of change
Thiemann, Peter
428-437 -
Transparent object proxies for javascript
Keil, Matthias; Guria, Sankha Narayan; Schlegel, Andreas; Geffken, Manuel; Thiemann, Peter
23-24 -
True lies: Lazy contracts for lazy languages – Faithfulness is better than laziness
Degen, Markus; Thiemann, Peter; Wehr, Stefan
370-370 -
Waitomo, eine Interface-orientierte Programmiersprache
Thiemann, Peter; Wehr, Stefan