Programs Using Syntax with First-Class Binders (Q2988654): Difference between revisions

@@ Property / describes a project that uses @@
+Delphin
@@ Property / describes a project that uses: Delphin / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+MiniML
@@ Property / describes a project that uses: MiniML / 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 @@
+Twelf
@@ Property / describes a project that uses: Twelf / 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 @@
+Freshml
@@ Property / describes a project that uses: Freshml / 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/978-3-662-54434-1_19
+Normal rank
@@ Property / OpenAlex ID @@
+W2596094020
@@ Property / OpenAlex ID: W2596094020 / rank @@
+Normal rank