Practical Implementation of a Dependently Typed Functional Programming Language (2005)

by Edwin C. Brady , Edwin C. Brady
Citations:28 - 9 self