#type theory

• Generics of a higher kind

• Towards a theory of type structure

• Simple type theory

• Dependent type theory

#OOPSLA

• Generics of a higher kind

#2008

• Generics of a higher kind

#lattice theory

• Outline of a mathematical theory of computation

#1970

• Outline of a mathematical theory of computation

#1974

• Towards a theory of type structure

#tutorial

• Simple type theory

• Dependent type theory

#programming language

• On the expressive power of programming language

#1991

• On the expressive power of programming language

#VLDB

• Lineage tracing for general data warehouse transformations

#data warehouse

• Lineage tracing for general data warehouse transformations

#2001

• Lineage tracing for general data warehouse transformations