Skip Nav Destination
Advanced Topics in Types and Programming Languages
Edited by
Benjamin C. Pierce
Benjamin C. Pierce
Benjamin C. Pierce is Professor of Computer and Information Science at the University of Pennsylvania.
Search for other works by this author on:
The MIT Press
ISBN electronic:
9780262281591
Publication date:
2004
Citation
2004. "Dependent Types", Advanced Topics in Types and Programming Languages, Benjamin C. Pierce
Download citation file:
You do not currently have access to this chapter.
Sign in
Don't already have an account? Register
Client Account
You could not be signed in. Please check your email address / username and password and try again.
Could not validate captcha. Please try again.