Container Types Categorically (2000)

Cached

Download Links

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

Documents Related by Co-Citation

298 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
183 Topos Theory – P T Johnstone - 1977
35 Categorical Logic and Type Theory. Number 141 – B Jacobs - 1999
424 Introduction to Higher Order Categorical Logic – J Lambek, P J Scott - 1986
40 Syntax and Semantics of Dependent Types – Martin Hofmann - 1997
15 Two applications of analytic functors – R Hasegawa
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
62 Containers - constructing strictly positive types, Theoretical Computer Science 342 – Michael Abott, Thorsten Altenkirch, Neil Ghani - 2005
23 Indexed Containers – Thorsten Altenkirch, Neil Ghani, Peter Hancock, Conor Mcbride, Peter Morris
10 de Bruijn. Telescopic mappings in typed lambda calculus – N G - 1991
5 The meta-object facility typed – Iman Poernomo - 2006
7 Computing SyncCharts reactions – C André