astump
I am a professor of Computer Science at The University of Iowa.
The University of IowaIowa City, Iowa, United States
Pinned Repositories
cedille-core
cedille-core-spec
Specification of the Cedille Core language
cedilleum-spec
Specification of the Cedilleum language, a dependently typed language with pattern matching that compiles to Cedille Core
clas-cv
Latex template for CLAS-Compliant CV
coq-subsidiary
Subsidiary recursions in Coq
dc-recursion-examples
Examples of divide-and-conquer recursion in Coq, based on our POPL 2023 paper "A Type-Based Approach to Divide-and-Conquer Recursion in Coq"
haskell-automata-theory
Repository of Haskell implementations of various basic constructions in automata theory
ittc
Materials related to the Iowa Type Theory Commute podcast
lambda-calculus-book
Textbook in progress on lambda calculus
cedille
Cedille, a dependently typed programming languages based on the Calculus of Dependent Lambda Eliminations
astump's Repositories
astump/cedille-core-spec
Specification of the Cedille Core language
astump/cedilleum-spec
Specification of the Cedilleum language, a dependently typed language with pattern matching that compiles to Cedille Core
astump/cedille-core
astump/dc-recursion-examples
Examples of divide-and-conquer recursion in Coq, based on our POPL 2023 paper "A Type-Based Approach to Divide-and-Conquer Recursion in Coq"
astump/ittc
Materials related to the Iowa Type Theory Commute podcast
astump/clas-cv
Latex template for CLAS-Compliant CV
astump/coq-subsidiary
Subsidiary recursions in Coq
astump/haskell-automata-theory
Repository of Haskell implementations of various basic constructions in automata theory
astump/lambda-calculus-book
Textbook in progress on lambda calculus