Aaron Stump -

Registered user since Thu 24 May 2018

Name: Aaron Stump

Country: United States

Affiliation: The University of Iowa, USA

Personal website: http://www.cs.uiowa.edu/~astump/

Contributions

ICFP 2020	Committee Member in External Review Committee within the ICFP Program-track Author of Strong Functional Pearl: Harper's Regular-Expression Matcher in Cedille within the ICFP Program-track
POPL 2019	Committee Member in Program Committee within the Research Papers-track
CPP 2018	Author of Generic Derivation of Induction for Impredicative Encodings in Cedille within the CPP 2018-track
ICFP 2018	Author of T01: Introduction to Programming and Proving in Cedille within the Tutorials-track Presenter of T01: Introduction to Programming and Proving in Cedille (part of Tutorials) Author of Generic Zero-Cost Reuse for Dependent Types within the Research Papers-track