A simplified account of polymorphic references (Q1334643): Difference between revisions

@@ Property / cites work @@
+Weak polymorphism can be sound
@@ Property / cites work: Weak polymorphism can be sound / rank @@
+Normal rank
@@ Property / cites work @@
+Standard ML-NJ weak polymorphism and imperative constructs
+Normal rank
@@ Property / cites work @@
+Co-induction in relational semantics
@@ Property / cites work: Co-induction in relational semantics / 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 @@
+A syntactic approach to type soundness
@@ Property / cites work: A syntactic approach to type soundness / rank @@
+Normal rank