Dependent types and multi-monadic effects in F* (Q2828265): Difference between revisions

@@ Property / author @@
-Cédric Fournet
@@ Property / author: Cédric Fournet / rank @@
-Normal rank
@@ Property / author @@
+Cédric Fournet
@@ Property / author: Cédric Fournet / 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 @@
+Why3
@@ Property / describes a project that uses: Why3 / 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 @@
+foetus
@@ Property / describes a project that uses: foetus / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Autosubst
@@ Property / describes a project that uses: Autosubst / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Coq
@@ Property / describes a project that uses: Coq / 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/2837614.2837655
+Normal rank
@@ Property / OpenAlex ID @@
+W2267469130
@@ Property / OpenAlex ID: W2267469130 / rank @@
+Normal rank