Recursive types for Fun (Q1176245): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1016/0304-3975(91)90038-4
+Normal rank
@@ Property / OpenAlex ID @@
+W2001517412
@@ Property / OpenAlex ID: W2001517412 / rank @@
+Normal rank
@@ Property / cites work @@
+Recursion over realizability structures
@@ Property / cites work: Recursion over realizability structures / rank @@
+Normal rank
@@ Property / cites work @@
+Extensional models for polymorphism
@@ Property / cites work: Extensional models for polymorphism / rank @@
+Normal rank
@@ Property / cites work @@
+Q3204024
@@ Property / cites work: Q3204024 / rank @@
+Normal rank
@@ Property / cites work @@
+The semantics of second-order lambda calculus
@@ Property / cites work: The semantics of second-order lambda calculus / rank @@
+Normal rank
@@ Property / cites work @@
+A semantics of multiple inheritance
@@ Property / cites work: A semantics of multiple inheritance / rank @@
+Normal rank
@@ Property / cites work @@
+Operations on records
@@ Property / cites work: Operations on records / rank @@
+Normal rank
@@ Property / cites work @@
+Q3709890
@@ Property / cites work: Q3709890 / rank @@
+Normal rank
@@ Property / cites work @@
+SIMULA: an ALGOL-based simulation language
@@ Property / cites work: SIMULA: an ALGOL-based simulation language / rank @@
+Normal rank
@@ Property / cites work @@
+Type theories and object-oriented programmimg
@@ Property / cites work: Type theories and object-oriented programmimg / rank @@
+Normal rank
@@ Property / cites work @@
+Q3667910
@@ Property / cites work: Q3667910 / rank @@
+Normal rank
@@ Property / cites work @@
+Universal profinite domains
@@ Property / cites work: Universal profinite domains / rank @@
+Normal rank
@@ Property / cites work @@
+Q4385538
@@ Property / cites work: Q4385538 / rank @@
+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 @@
+Polymorphic type inference and containment
@@ Property / cites work: Polymorphic type inference and containment / rank @@
+Normal rank
@@ Property / cites work @@
+A Powerdomain Construction
@@ Property / cites work: A Powerdomain Construction / rank @@
+Normal rank
@@ Property / cites work @@
+Q4072829
@@ Property / cites work: Q4072829 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4068054
@@ Property / cites work: Q4068054 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5649639
@@ Property / cites work: Q5649639 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3959414
@@ Property / cites work: Q3959414 / rank @@
+Normal rank
@@ Property / cites work @@
+The Category-Theoretic Solution of Recursive Domain Equations
+Normal rank