-
1
-
2
-
3
-
4
-
5
The verified CakeML compiler backend
Veröffentlicht in Journal of functional programming
VolltextArtikel -
6
-
7
-
8
-
9
Proof-Producing Synthesis of CakeML from Monadic HOL Functions
Veröffentlicht in Journal of automated reasoning
VolltextArtikel -
10
A Verified Generational Garbage Collector for CakeML
Veröffentlicht in Journal of automated reasoning
VolltextArtikel -
11
-
12
-
13
Cakes That Bake Cakes: Dynamic Computation in CakeML
Veröffentlicht in Proceedings of ACM on programming languages
VolltextArtikel -
14
PureCake: A Verified Compiler for a Lazy Functional Language
Veröffentlicht in Proceedings of ACM on programming languages
VolltextArtikel -
15
-
16
-
17
-
18
-
19
Verifying efficient function calls in CakeML
Veröffentlicht in Proceedings of ACM on programming languages
VolltextArtikel -
20