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

@@ Property / describes a project that uses @@
+GUM
@@ Property / describes a project that uses: GUM / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.scico.2013.05.001
+Normal rank
@@ Property / OpenAlex ID @@
+W4244012086
@@ Property / OpenAlex ID: W4244012086 / rank @@
+Normal rank
@@ 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
@@ links / mardi / name / links / mardi / name @@
+Publication:2441510