Registered user since Tue 28 Aug 2018
Name:Michael Arntzenius
Country:United States
Affiliation:UC Berkeley
Personal website: https://www.rntz.net
X (Twitter): https://x.com/arntzenius
GitHub: https://github.com/rntz
Research interests:Programming languages, databases, systems, functional programming, relational and logic programming, logic, type theory, denotational semantics, category theory
Contributions
Using general profile