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

2023

TyDe

Committee Member in Program Committee within the TyDe 2023-track

POPL

CPP

Committee Member in Program Committee within the CPP 2023-track

2022

WITS

Committee Member in Program Committee within the WITS 2022-track

2020

ICFP

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

2019

POPL

Committee Member in Program Committee within the Research Papers-track

2018

ICFP

CPP

Author of Generic Derivation of Induction for Impredicative Encodings in Cedille within the CPP 2018-track