-
1
Modular implicits
Veröffentlicht in Electronic proceedings in theoretical computer science
VolltextArtikel -
2
Retrofitting parallelism onto OCaml
Veröffentlicht in Proceedings of ACM on programming languages
VolltextArtikel -
3
Lambda: the ultimate sublanguage (experience report)
Veröffentlicht in Proceedings of ACM on programming languages
VolltextArtikel -
4
Staged Compilation with Module Functors
Veröffentlicht in Proceedings of ACM on programming languages
VolltextArtikel -
5
MacoCaml: Staging Composable and Compilable Macros
Veröffentlicht in Proceedings of ACM on programming languages
VolltextArtikel -
6
Oxidizing OCaml with Modal Memory Management
Veröffentlicht in Proceedings of ACM on programming languages
VolltextArtikel -
7
-
8
-
9
-
10
-
11
-
12
-
13
-
14
-
15
-
16
-
17
-
18
-
19
-
20