I am a professor of Computer Science at The University of Iowa.
-
The University of Iowa
- Iowa City, Iowa, United States
- https://homepage.cs.uiowa.edu/~astump/
Popular repositories Loading
-
-
cedilleum-spec
cedilleum-spec PublicSpecification of the Cedilleum language, a dependently typed language with pattern matching that compiles to Cedille Core
-
-
dc-recursion-examples
dc-recursion-examples PublicExamples of divide-and-conquer recursion in Coq, based on our POPL 2023 paper "A Type-Based Approach to Divide-and-Conquer Recursion in Coq"
HTML 8
-
clas-cv
clas-cv PublicForked from tinelli/clas-cv-template
Latex template for CLAS-Compliant CV
TeX
Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.
If the problem persists, check the GitHub status page or contact support.