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

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ 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
@@ Property / full work available at URL @@
+https://doi.org/10.1007/bfb0016856
+Normal rank
@@ Property / OpenAlex ID @@
+W2102225735
@@ Property / OpenAlex ID: W2102225735 / rank @@
+Normal rank