Skip to main content
PRL Project

A Simple Type Theory for Reasoning About Functional Programs

by Douglas J. Howe
1992

unpublished

bibTex ref: Howe92


cite link