Registered user since Fri 12 Jan 2024
Name:David M. Kahn
Affiliation:Denison University
Personal website: https://d-m-kahn.com
Research interests:Programming Languages, Static Analysis, Cost Analysis, Type Systems, Constructive Mathematics
Contributions
Using general profile