Container Types Categorically (2000)

Cached

Download Links

by Paul Hoogendijk , Oege De Moor
Citations:12 - 0 self

Documents Related by Co-Citation

299 Programming with bananas, lenses, envelopes and barbed wire – Erik Meijer, Maarten Fokkinga, Ross Paterson - 1991
8 A predicative strong normalisation proof for a λ-calculus with interleaving inductive types – Andreas Abel, Thorsten Altenkirch - 1999
35 Categorical Logic and Type Theory. Number 141 – B Jacobs - 1999
183 Topos Theory – P T Johnstone - 1977
427 Introduction to Higher Order Categorical Logic – J Lambek, P Scott - 1986
16 Two applications of analytic functors – R Hasegawa - 2002
40 Syntax and Semantics of Dependent Types – Martin Hofmann - 1997
52 Generic programming within dependently typed programming – Thorsten Altenkirch, Conor Mcbride - 2003
13 Least fixed point of a functor – J Adámek, V Koubek - 1979
34 Shapely Types and Shape Polymorphism – C. Barry Jay, J.R.B. Cockett - 1994
23 Locally presentable and accessible categories. Number 189 – J Adamek, J Rosicky - 1994
31 Connected limits, familial representability and Artin glueing – Aurelio Carboni, Peter Johnstone - 1995
60 A Semantics for Shape – C. Barry Jay - 1995
12 Constructing polymorphic programs with quotient types – Michael Abbott, Thorsten Altenkirch, Neil Ghani, Conor Mcbride - 2004
22 Indexed Containers – Thorsten Altenkirch, Neil Ghani, Peter Hancock, Conor Mcbride, Peter Morris
61 Containers - constructing strictly positive types, Theoretical Computer Science 342 (2005) 3–27, applied Semantics: Selected Topics – M Abott, T Altenkirch, N Ghani
72 What models mean – Ed Seidewitz - 2003
23 The Relational Model for Database Management – E F Codd - 1990
10 de Bruijn. Telescopic mappings in typed lambda calculus – N G - 1991