Dependent Types and Fibred Computational Effects (Q2811331): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2460339236
@@ Property / OpenAlex ID: W2460339236 / rank @@
+Normal rank
@@ Property / cites work @@
+Algebras for Parameterised Monads
@@ Property / cites work: Algebras for Parameterised Monads / rank @@
+Normal rank
@@ Property / cites work @@
+Q4474834
@@ Property / cites work: Q4474834 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4856547
@@ Property / cites work: Q4856547 / rank @@
+Normal rank
@@ Property / cites work @@
+Programming and reasoning with algebraic effects and dependent types
+Normal rank
@@ Property / cites work @@
+Combining proofs and programs in a dependently typed language
+Normal rank
@@ Property / cites work @@
+The Biequivalence of Locally Cartesian Closed Categories and Martin-Löf Type Theories
+Normal rank
@@ Property / cites work @@
+The enriched effect calculus: syntax and semantics
+Normal rank
@@ Property / cites work @@
+Indexed Induction and Coinduction, Fibrationally
@@ Property / cites work: Indexed Induction and Coinduction, Fibrationally / rank @@
+Normal rank
@@ Property / cites work @@
+Continuous Lattices and Domains
@@ Property / cites work: Continuous Lattices and Domains / rank @@
+Normal rank
@@ Property / cites work @@
+Q2753682
@@ Property / cites work: Q2753682 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4474857
@@ Property / cites work: Q4474857 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4225149
@@ Property / cites work: Q4225149 / rank @@
+Normal rank
@@ Property / cites work @@
+Monadic parsing in Haskell
@@ Property / cites work: Monadic parsing in Haskell / rank @@
+Normal rank
@@ Property / cites work @@
+Combining effects: sum and tensor
@@ Property / cites work: Combining effects: sum and tensor / 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 @@
+Integrating Linear and Dependent Types
@@ Property / cites work: Integrating Linear and Dependent Types / rank @@
+Normal rank
@@ Property / cites work @@
+Q4829806
@@ Property / cites work: Q4829806 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3202991
@@ Property / cites work: Q3202991 / rank @@
+Normal rank
@@ Property / cites work @@
+Notions of computation and monads
@@ Property / cites work: Notions of computation and monads / rank @@
+Normal rank
@@ Property / cites work @@
+Hoare type theory, polymorphism and separation
@@ Property / cites work: Hoare type theory, polymorphism and separation / rank @@
+Normal rank
@@ Property / cites work @@
+A dependent type theory with abstractable names
@@ Property / cites work: A dependent type theory with abstractable names / rank @@
+Normal rank
@@ Property / cites work @@
+Semantics for Algebraic Operations
@@ Property / cites work: Semantics for Algebraic Operations / rank @@
+Normal rank
@@ Property / cites work @@
+Q4738236
@@ Property / cites work: Q4738236 / rank @@
+Normal rank
@@ Property / cites work @@
+Handling Algebraic Effects
@@ Property / cites work: Handling Algebraic Effects / rank @@
+Normal rank
@@ Property / cites work @@
+Q2863882
@@ Property / cites work: Q2863882 / rank @@
+Normal rank
@@ Property / cites work @@
+Instances of Computational Effects: An Algebraic Perspective
+Normal rank
@@ Property / cites work @@
+Q5286647
@@ Property / cites work: Q5286647 / rank @@
+Normal rank
@@ Property / cites work @@
+A Categorical Semantics for Linear Logical Frameworks
+Normal rank