scientific article; zbMATH DE number 1956503
From MaRDI portal
Publication:4417849
Recommendations
Cited in
(30)- Monad transformers as monoid transformers
- Relative full completeness for bicategorical Cartesian closed structure
- Proving properties about functions on lists involving element tests
- Continuous functions on final coalgebras
- scientific article; zbMATH DE number 2061699 (Why is no real title available?)
- Reverse AD at higher types: pure, principled and denotationally correct
- scientific article; zbMATH DE number 7649955 (Why is no real title available?)
- A representation theorem for second-order functionals
- Differential structure, tangent structure, and SDG
- Container model
- Complexity bounds for container functors and comonads
- Characterizing functions mappable over GADTs
- Coherence for bicategorical cartesian closed structure
- Constructing higher inductive types as groupoid quotients
- Data types with symmetries and polynomial functors over groupoids
- Undecidability of equality for codata types
- Interfaces as functors, programs as coalgebras -- a final coalgebra theorem in intensional type theory
- Interactive programming in Agda -- objects and graphical user interfaces
- Formalizing semantic bidirectionalization and extensions with dependent types
- Indexed containers
- Notions of computation as monoids
- Containers: Constructing strictly positive types
- Higher-order containers
- Dependent inductive and coinductive types are fibrational dialgebras
- scientific article; zbMATH DE number 6981655 (Why is no real title available?)
- Constructive membership predicates as index types
- Compositional game theory, compositionally
- Combining predicate transformer semantics for effects: a case study in parsing regular languages
- Multi-dimensional arrays with levels
- Monotone recursive types and recursive data representations in Cedille
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4417849)
