A type system with usage aspects (Q5451967): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Region-based memory management
@@ Property / cites work: Region-based memory management / rank @@
+Normal rank
@@ Property / cites work @@
+The type and effect discipline
@@ Property / cites work: The type and effect discipline / rank @@
+Normal rank
@@ Property / cites work @@
+BI as an assertion language for mutable data structures
+Normal rank
@@ Property / cites work @@
+Heap-bounded assembly language
@@ Property / cites work: Heap-bounded assembly language / rank @@
+Normal rank
@@ Property / cites work @@
+Static prediction of heap space usage for first-order functional programs
+Normal rank
@@ Property / cites work @@
+A uniform treatment of order of evaluation and aggregate update
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1017/s0956796807006399
+Normal rank
@@ Property / OpenAlex ID @@
+W2166853865
@@ Property / OpenAlex ID: W2166853865 / rank @@
+Normal rank