Dependent Types and Fibred Computational Effects
type: Item
instance of: scholarly article
title: Dependent Types and Fibred Computational Effects
zbMATH Open document ID: 1475.68057
DOI: 10.1007/978-3-662-49630-5_3
author: Danel Ahman
author: Neil Ghani
author: Gordon D. Plotkin
published in: Lecture Notes in Computer Science
publication date: 2016-06-10T00:00:00Z
full work available at URL: 978-3-662-49630-5 3
Mathematics Subject Classification ID: 68N18
Mathematics Subject Classification ID: 03B38
Mathematics Subject Classification ID: 03B70
Mathematics Subject Classification ID: 18C50
Mathematics Subject Classification ID: 68N30
Mathematics Subject Classification ID: 68Q55
zbMATH DE Number: 6591812
MaRDI profile type: Publication
OpenAlex ID: W2460339236
cites work: Algebras for Parameterised Monads
cites work: Q4474834
cites work: Q4856547
cites work: Programming and reasoning with algebraic effects and dependent types
cites work: Combining proofs and programs in a dependently typed language
cites work: The Biequivalence of Locally Cartesian Closed Categories and Martin-Löf Type Theories
cites work: The enriched effect calculus: syntax and semantics
cites work: Indexed induction and coinduction, fibrationally
cites work: Continuous Lattices and Domains
cites work: Q2753682
cites work: Q4474857
cites work: Q4225149
cites work: Monadic parsing in Haskell
cites work: Combining effects: sum and tensor
cites work: Categorical logic and type theory
cites work: Integrating linear and dependent types
cites work: Q4829806
cites work: Q3202991
cites work: Notions of computation and monads
cites work: Hoare type theory, polymorphism and separation
cites work: A dependent type theory with abstractable names
cites work: Semantics for Algebraic Operations
cites work: Q4738236
cites work: Handling algebraic effects
cites work: Countable Lawvere theories and computational effects
cites work: Instances of Computational Effects: An Algebraic Perspective
cites work: Q5286647
cites work: A Categorical Semantics for Linear Logical Frameworks
description: scientific article