Part of the Computer Sciences Commons
Two algorithms in search of a type system, Norman Danner, James Royer Norman Danner
Link
A static cost analysis for a higher-order language, Norman Danner, Jennifer Paykin, James Royer Norman Danner
Adventures in time and space, Norman Danner, James Royer Norman Danner
Ramified structural recursion and corecursion, Norman Danner, James Royer Norman Danner
Advanced Search