Flexible recovery of uniqueness and immutability (Q1731519): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2900040591
@@ Property / OpenAlex ID: W2900040591 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.00137
@@ Property / arXiv ID: 1807.00137 / rank @@
+Normal rank
@@ Property / cites work @@
+Alias burying: Unique variables without destructive reads
+Normal rank
@@ Property / cites work @@
+An imperative pure calculus
@@ Property / cites work: An imperative pure calculus / rank @@
+Normal rank
@@ Property / cites work @@
+A type system for borrowing permissions
@@ Property / cites work: A type system for borrowing permissions / rank @@
+Normal rank
@@ Property / cites work @@
+Coeffects
@@ Property / cites work: Coeffects / rank @@
+Normal rank
@@ Property / cites work @@
+Aliasing Control in an Imperative Pure Calculus
@@ Property / cites work: Aliasing Control in an Imperative Pure Calculus / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q128979828
@@ Property / Wikidata QID: Q128979828 / rank @@
+Normal rank