Q5076059 (Q5076059): Difference between revisions

@@ Property / describes a project that uses @@
+Rust
@@ Property / describes a project that uses: Rust / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Skew confluence and the lambda calculus with letrec
+Normal rank
@@ Property / cites work @@
+The call-by-need lambda calculus
@@ Property / cites work: The call-by-need lambda calculus / 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 @@
+Region-based memory management
@@ Property / cites work: Region-based memory management / rank @@
+Normal rank
@@ Property / cites work @@
+Flexible recovery of uniqueness and immutability
@@ Property / cites work: Flexible recovery of uniqueness and immutability / rank @@
+Normal rank
@@ Property / cites work @@
+The call-by-need lambda calculus
@@ Property / cites work: The call-by-need lambda 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 @@
+Aliasing Control in an Imperative Pure Calculus
@@ Property / cites work: Aliasing Control in an Imperative Pure Calculus / rank @@
+Normal rank