scientific article; zbMATH DE number 1956503

zbMATH Open1029.68096MaRDI QIDQ4417849FDOQ4417849

Authors:

Publication date: 30 July 2003

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2620/26200023.htm

Title of this publication is not available (Why is that?)

Recommendations

• Higher-order containers
• Containers: Constructing strictly positive types
• scientific article; zbMATH DE number 2061699
• Container types categorically
• Complexity bounds for container functors and comonads

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65)

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
• Title not available (Why is that?)
• Title not available (Why is that?)
• A representation theorem for second-order functionals
• Reverse AD at higher types: pure, principled and denotationally correct
• 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
• Interfaces as functors, programs as coalgebras -- a final coalgebra theorem in intensional type theory
• Undecidability of equality for codata types
• Interactive programming in Agda -- objects and graphical user interfaces
• Indexed containers
• Notions of computation as monoids
• Formalizing semantic bidirectionalization and extensions with dependent types
• Containers: Constructing strictly positive types
• Higher-order containers
• Dependent inductive and coinductive types are fibrational dialgebras
• Title not available (Why is that?)
• 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
• Constructive membership predicates as index types

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)