• Sign in
  • Sign up
conf.researchr.org / Aaron Stump
  • ICFP 2018 profile
  • ICFP 2020 profile
  • POPL 2018 profile
  • POPL 2019 profile
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

Share
xWed 21 Apr 21:24
using conf.researchr.org (v1.45.0)
Support page
Sign Up