Towards Typed Prolog (Q5504693): Difference between revisions

@@ Property / describes a project that uses @@
+YAP-Prolog
@@ Property / describes a project that uses: YAP-Prolog / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Mercury
@@ Property / describes a project that uses: Mercury / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W1509799693
@@ Property / OpenAlex ID: W1509799693 / rank @@
+Normal rank
@@ Property / cites work @@
+A theory of type polymorphism in programming
@@ Property / cites work: A theory of type polymorphism in programming / rank @@
+Normal rank
@@ Property / cites work @@
+A polymorphic type system for Prolog
@@ Property / cites work: A polymorphic type system for Prolog / rank @@
+Normal rank
@@ Property / cites work @@
+Q4844168
@@ Property / cites work: Q4844168 / rank @@
+Normal rank
@@ Property / cites work @@
+The execution algorithm of mercury, an efficient purely declarative logic programming language
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:5504693