Graphical and incremental type inference. A graph transformation approach (Q526459): Difference between revisions

@@ Property / Mathematics Subject Classification ID @@
+N18
@@ Property / Mathematics Subject Classification ID: 68N18 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+Q42
@@ Property / Mathematics Subject Classification ID: 68Q42 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+6715310
@@ Property / zbMATH DE Number: 6715310 / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+type inference
@@ Property / zbMATH Keywords: type inference / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+graphical language
@@ Property / zbMATH Keywords: graphical language / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+process networks
@@ Property / zbMATH Keywords: process networks / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+type visualization
@@ Property / zbMATH Keywords: type visualization / 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 @@
+Miranda
@@ Property / describes a project that uses: Miranda / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+AGG
@@ Property / describes a project that uses: AGG / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Lua
@@ Property / describes a project that uses: Lua / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2765634457
@@ Property / OpenAlex ID: W2765634457 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:526459