A typed functional extension of logic programming (Q1186105): Difference between revisions

@@ Property / describes a project that uses @@
+ML
@@ Property / describes a project that uses: ML / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Equality, types, modules, and (why not?) generics for logic programming
+Normal rank
@@ Property / cites work @@
+Q3883561
@@ Property / cites work: Q3883561 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3339245
@@ Property / cites work: Q3339245 / 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 / full work available at URL @@
+https://doi.org/10.1007/bf03037479
+Normal rank
@@ Property / OpenAlex ID @@
+W2072391349
@@ Property / OpenAlex ID: W2072391349 / rank @@
+Normal rank