The impact of higher-order state and control effects on local relational reasoning (Q3165524): Difference between revisions

@@ Property / cites work @@
+Third-order Idealized Algol with iteration is decidable
+Normal rank
@@ Property / cites work @@
+Functions with local state: regularity and undecidability
+Normal rank
@@ Property / cites work @@
+Equivalence in functional languages with effects
@@ Property / cites work: Equivalence in functional languages with effects / rank @@
+Normal rank
@@ Property / cites work @@
+Classical logic, storage operators and second-order lambda-calculus
+Normal rank
@@ Property / cites work @@
+Logical Reasoning for Higher-Order Functions with Local State
+Normal rank
@@ Property / cites work @@
+Short cut fusion is correct
@@ Property / cites work: Short cut fusion is correct / rank @@
+Normal rank
@@ Property / cites work @@
+A bisimulation for type abstraction and recursion
@@ Property / cites work: A bisimulation for type abstraction and recursion / rank @@
+Normal rank
@@ Property / cites work @@
+The revised report on the syntactic theories of sequential control and state
+Normal rank