A certified framework for compiling and executing garbage-collected languages (Q5176947): Difference between revisions

@@ Property / describes a project that uses @@
+GHC
@@ Property / describes a project that uses: GHC / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+MLCompCert
@@ Property / describes a project that uses: MLCompCert / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+OCaml
@@ Property / describes a project that uses: OCaml / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+cminor
@@ Property / describes a project that uses: cminor / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Coq
@@ Property / describes a project that uses: Coq / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Haskell
@@ Property / describes a project that uses: Haskell / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+CompCert
@@ Property / describes a project that uses: CompCert / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1145/1863543.1863584
+Normal rank
@@ Property / OpenAlex ID @@
+W2108365678
@@ Property / OpenAlex ID: W2108365678 / rank @@
+Normal rank