Type-specialized staged programming with process separation (Q1929349): Difference between revisions

@@ Property / describes a project that uses @@
+MiniML
@@ Property / describes a project that uses: MiniML / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Agda
@@ Property / describes a project that uses: Agda / 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 @@
+MetaOCaml
@@ Property / describes a project that uses: MetaOCaml / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Irdis
@@ Property / describes a project that uses: Irdis / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Flask
@@ Property / describes a project that uses: Flask / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+TAG
@@ Property / describes a project that uses: TAG / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Ynot
@@ Property / describes a project that uses: Ynot / 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.1007/s10990-012-9089-0
+Normal rank
@@ Property / OpenAlex ID @@
+W2057754704
@@ Property / OpenAlex ID: W2057754704 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:1929349