|
275
|
Functional 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
|
|
157
|
Topos theory
– P T Johnstone
- 1977
|
|
28
|
Categorical logic and type theory. Number 141 in Studies in logic and the foundations of mathematics
– B Jacobs
- 1999
|
|
379
|
Introduction to higher order categorical logic
– Joachim Lambek, Philip J Scott
- 1986
|
|
45
|
Generic programming within dependently typed programming
– Thorsten Altenkirch, Conor Mcbride
- 2003
|
|
37
|
Syntax and Semantics of Dependent Types
– Martin Hofmann
- 1997
|
|
11
|
Two applications of analytic functors
– R Hasegawa
- 2002
|
|
57
|
A Semantics for Shape
– C. Barry Jay
- 1995
|
|
13
|
Least fixed point of a functor
– J Adámek, V Koubek
- 1979
|
|
32
|
Shapely Types and Shape Polymorphism
– C. Barry Jay, J.R.B. Cockett
- 1994
|
|
22
|
Locally presentable and accessible categories. Number 189
– J Adamek, J Rosicky
- 1994
|
|
28
|
Connected limits, familial representability and Artin glueing
– A Carboni, P T Johnstone
- 1995
|
|
67
|
Dependency-style Generic Haskell
– Andres Löh, Dave Clarke, Johan Jeuring
- 2003
|
|
161
|
PolyP - a polytypic programming language extension
– Patrik Jansson, Johan Jeuring
- 1997
|
|
102
|
Polytypic Values Possess Polykinded Types
– Ralf Hinze
- 2000
|
|
5
|
Fibrations petites et localement petites
– J Bénabou
- 1975
|
|
6
|
Derivatives of containers
– Michael Abbott, Thorsten Altenkirch, Neil Ghani, Conor Mcbride
- 2003
|
|
14
|
Representing Inductively Defined Sets by Wellorderings in Martin-Löf's Type Theory
– Peter Dybjer
- 1996
|
