-
1
Reactive wetting of alumina by Ti-rich Ni–Ti–Zr alloys
Veröffentlicht in Journal of materials science
VolltextArtikel -
2
Mutually Iso-Recursive Subtyping
Veröffentlicht in Proceedings of ACM on programming languages
VolltextArtikel -
3
-
4
-
5
-
6
Mixin' Up the ML Module System
Veröffentlicht in ACM transactions on programming languages and systems
VolltextArtikel -
7
Weakening WebAssembly
Veröffentlicht in Proceedings of ACM on programming languages
VolltextArtikel -
8
Mixina Up the ML Module System
Veröffentlicht in ACM transactions on programming languages and systems
VolltextArtikel -
9
Continuing WebAssembly with Effect Handlers
Veröffentlicht in Proceedings of ACM on programming languages
VolltextArtikel -
10
-
11
Bringing the WebAssembly Standard up to Speed with SpecTec
Veröffentlicht in Proceedings of ACM on programming languages
VolltextArtikel -
12
-
13
-
14
-
15
1ML – core and modules united (F-ing first-class modules)
Veröffentlicht in SIGPLAN notices
VolltextArtikel -
16
-
17
-
18
-
19
-
20