Reasoning about Functional Programs and Complexity Classes Associated with Type Disciplines

Daniel Leivant

Browse the full FOCS paper archive.