Exception handling for copyless messaging (Q2441510): Difference between revisions

@@ Property / cites work @@
+Typing Copyless Message Passing
@@ Property / cites work: Typing Copyless Message Passing / rank @@
+Normal rank
@@ Property / cites work @@
+Exception handling for copyless messaging
@@ Property / cites work: Exception handling for copyless messaging / rank @@
+Normal rank
@@ Property / cites work @@
+Structured Interactional Exceptions in Session Types
+Normal rank
@@ Property / cites work @@
+Q2908863
@@ Property / cites work: Q2908863 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4248252
@@ Property / cites work: Q4248252 / rank @@
+Normal rank
@@ Property / cites work @@
+Subtyping for session types in the pi calculus
@@ Property / cites work: Subtyping for session types in the pi calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Region-based memory management
@@ Property / cites work: Region-based memory management / rank @@
+Normal rank
@@ Property / cites work @@
+Static prediction of heap space usage for first-order functional programs
+Normal rank
@@ Property / cites work @@
+Programming Languages and Systems
@@ Property / cites work: Programming Languages and Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q2763567
@@ Property / cites work: Q2763567 / rank @@
+Normal rank
@@ Property / cites work @@
+Transactional events
@@ Property / cites work: Transactional events / rank @@
+Normal rank