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

WITS 2022	Committee Member in Program Committee within the WITS 2022-track
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