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

@@ Property / author @@
-Lars Birkedal
@@ Property / author: Lars Birkedal / rank @@
-Normal rank
@@ Property / author @@
+Lars Birkedal
@@ Property / author: Lars Birkedal / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Haskell
@@ Property / describes a project that uses: Haskell / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ 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
@@ Property / full work available at URL @@
+https://doi.org/10.1017/s095679681200024x
+Normal rank
@@ Property / OpenAlex ID @@
+W2101443478
@@ Property / OpenAlex ID: W2101443478 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:3165524