Practical Implementation of a Dependently Typed Functional Programming Language (2005)
by
Edwin C. Brady
,
Edwin C. Brady
| Citations: | 26 - 9 self |
BibTeX
@TECHREPORT{Brady05practicalimplementation,
author = {Edwin C. Brady and Edwin C. Brady},
title = {Practical Implementation of a Dependently Typed Functional Programming Language},
institution = {},
year = {2005}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
Language
