Q5079752 (Q5079752): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+A proof-theoretic foundation of abortive continuations
+Normal rank
@@ Property / cites work @@
+On typing delimited continuations: Three new solutions to the printf problem
+Normal rank
@@ Property / cites work @@
+Polymorphic Delimited Continuations
@@ Property / cites work: Polymorphic Delimited Continuations / rank @@
+Normal rank
@@ Property / cites work @@
+Representing Control: a Study of the CPS Transformation
+Normal rank
@@ Property / cites work @@
+A syntactic theory of sequential control
@@ Property / cites work: A syntactic theory of sequential control / rank @@
+Normal rank
@@ Property / cites work @@
+Monads in action
@@ Property / cites work: Monads in action / rank @@
+Normal rank
@@ Property / cites work @@
+Computer Science Logic
@@ Property / cites work: Computer Science Logic / rank @@
+Normal rank
@@ Property / cites work @@
+A Substructural Type System for Delimited Continuations
+Normal rank
@@ Property / cites work @@
+A completeness theorem in modal logic
@@ Property / cites work: A completeness theorem in modal logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q5339289
@@ Property / cites work: Q5339289 / rank @@
+Normal rank
@@ Property / cites work @@
+Contextual modal type theory
@@ Property / cites work: Contextual modal type theory / rank @@
+Normal rank
@@ Property / cites work @@
+Q4255509
@@ Property / cites work: Q4255509 / rank @@
+Normal rank
@@ Property / cites work @@
+A judgmental reconstruction of modal logic
@@ Property / cites work: A judgmental reconstruction of modal logic / rank @@
+Normal rank