Universes for Generic Programs and Proofs in Dependent Type Theory (2003)

Cached

Download Links

by Marcin Benke , Peter Dybjer , Patrik Jansson
Venue:Nordic Journal of Computing
Citations:45 - 2 self

Documents Related by Co-Citation

52 Generic programming within dependently typed programming – Thorsten Altenkirch, Conor Mcbride - 2003
175 PolyP - a polytypic programming language extension – Patrik Jansson, Johan Jeuring - 1997
344 Intuitionistic Type Theory – Per Martin-Löf - 1984
107 Polytypic Values Possess Polykinded Types – Ralf Hinze - 2000
68 Dependency-style Generic Haskell – Andres Löh, Dave Clarke, Johan Jeuring - 2003
58 Type-Indexed Data Types – Ralf Hinze, Johan Jeuring, Andres Löh - 2004
944 A theory of type polymorphism in programming – Robin Milner - 1978
8668 Introduction to Algorithms – T H Cormen, C E Leiserson, R L Rivest, C Stein - 2001
702 A Framework for Defining Logics – Robert Harper , Furio Honsell, Gordon Plotkin - 1993