Extending the type checker of Standard ML by polymorphic recursion (Q1275627): Difference between revisions

@@ Property / cites work @@
+Modified basic functionality in combinatory logic
@@ Property / cites work: Modified basic functionality in combinatory logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q5590039
@@ Property / cites work: Q5590039 / rank @@
+Normal rank
@@ Property / cites work @@
+The Principal Type-Scheme of an Object in Combinatory Logic
+Normal rank
@@ Property / cites work @@
+Q3819992
@@ Property / cites work: Q3819992 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4027630
@@ Property / cites work: Q4027630 / rank @@
+Normal rank
@@ Property / cites work @@
+The undecidability of the semi-unification problem
+Normal rank
@@ Property / cites work @@
+Q4268483
@@ Property / cites work: Q4268483 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4035254
@@ Property / cites work: Q4035254 / 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 @@
+Q3340118
@@ Property / cites work: Q3340118 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3815293
@@ Property / cites work: Q3815293 / rank @@
+Normal rank
@@ Property / cites work @@
+A Machine-Oriented Logic Based on the Resolution Principle
+Normal rank