Informatics Report Series



Related Pages

Report (by Number) Index
Report (by Date) Index
Author Index
Institute Index

Title:Dependent Types
Authors: David Aspinall ; Martin Hoffman
Date:Jan 2005
Publication Title:Advanced Topics in Types and Programming Languages
Publisher:MIT Press
Publication Type:Book Chapter Publication Status:Published
Page Nos:45-86
In the most general sense, dependent types are type-valued functions. In this chapter we study type-valued functions which send terms to types.
Links To Paper
Editor's homepage for book.
Bibtex format
author = { David Aspinall and Martin Hoffman },
title = {Dependent Types},
book title = {Advanced Topics in Types and Programming Languages},
publisher = {MIT Press},
year = 2005,
month = {Jan},
pages = {45-86},
url = {},

Home : Publications : Report 

Please mail <> with any changes or corrections.
Unless explicitly stated otherwise, all material is copyright The University of Edinburgh