A record calculus with principal types (Q5096310): Difference between revisions

@@ Property / cites work @@
+Q3332229
@@ Property / cites work: Q3332229 / rank @@
+Normal rank
@@ Property / cites work @@
+Wrapper semantics of an object-oriented programming language with state
+Normal rank
@@ Property / cites work @@
+An ideal model for recursive polymorphic types
@@ Property / cites work: An ideal model for recursive polymorphic types / rank @@
+Normal rank
@@ Property / cites work @@
+Type inference for polymorphic references
@@ Property / cites work: Type inference for polymorphic references / rank @@
+Normal rank
@@ Property / cites work @@
+Type inference for record concatenation and multiple inheritance
+Normal rank