Factorisation systems for logical relations and monadic lifting in type-and-effect system semantics (Q2134832): Difference between revisions

@@ Property / cites work @@
+Programming with algebraic effects and handlers
@@ Property / cites work: Programming with algebraic effects and handlers / rank @@
+Normal rank
@@ Property / cites work @@
+Proof-Relevant Logical Relations for Name Generation
+Normal rank
@@ Property / cites work @@
+Compiling standard ML to Java bytecodes
@@ Property / cites work: Compiling standard ML to Java bytecodes / rank @@
+Normal rank
@@ Property / cites work @@
+Constructions of factorization systems in categories
+Normal rank
@@ Property / cites work @@
+Q4490731
@@ Property / cites work: Q4490731 / rank @@
+Normal rank
@@ Property / cites work @@
+Axiomatic Domain Theory in Categories of Partial Maps
+Normal rank
@@ Property / cites work @@
+Factorization systems and fibrations
@@ Property / cites work: Factorization systems and fibrations / rank @@
+Normal rank
@@ Property / cites work @@
+Categorical logic and type theory
@@ Property / cites work: Categorical logic and type theory / rank @@
+Normal rank
@@ Property / cites work @@
+A monad for full ground reference cells
@@ Property / cites work: A monad for full ground reference cells / rank @@
+Normal rank
@@ Property / cites work @@
+No value restriction is needed for algebraic effects and handlers
+Normal rank
@@ Property / cites work @@
+Algebraic foundations for effect-dependent optimisations
+Normal rank
@@ Property / cites work @@
+Computer Science Logic
@@ Property / cites work: Computer Science Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Relating computational effects by \(\top \top \)-lifting
+Normal rank
@@ Property / cites work @@
+Parametric effect monads and semantics of effect systems
+Normal rank
@@ Property / cites work @@
+Q5275349
@@ Property / cites work: Q5275349 / rank @@
+Normal rank
@@ Property / cites work @@
+A unified treatment of transfinite constructions for free algebras, free monoids, colimits, associated sheaves, and so on
+Normal rank
@@ Property / cites work @@
+Two addenda to the author's ‘Transfinite constructions’
+Normal rank
@@ Property / cites work @@
+Strong functors and monoidal monads
@@ Property / cites work: Strong functors and monoidal monads / rank @@
+Normal rank
@@ Property / cites work @@
+Epis need not be dense
@@ Property / cites work: Epis need not be dense / rank @@
+Normal rank
@@ Property / cites work @@
+Q4215784
@@ Property / cites work: Q4215784 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3552043
@@ Property / cites work: Q3552043 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3946206
@@ Property / cites work: Q3946206 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3202991
@@ Property / cites work: Q3202991 / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraic operations and generic effects
@@ Property / cites work: Algebraic operations and generic effects / rank @@
+Normal rank
@@ Property / cites work @@
+Q4738236
@@ Property / cites work: Q4738236 / rank @@
+Normal rank
@@ Property / cites work @@
+Handlers of Algebraic Effects
@@ Property / cites work: Handlers of Algebraic Effects / rank @@
+Normal rank
@@ Property / cites work @@
+Q4704209
@@ Property / cites work: Q4704209 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4072829
@@ Property / cites work: Q4072829 / rank @@
+Normal rank
@@ Property / cites work @@
+The marriage of effects and monads
@@ Property / cites work: The marriage of effects and monads / rank @@
+Normal rank