Patricia Johann -

Registered user since Sun 12 Apr 2015

Name:Patricia Johann

Affiliation:Appalachian State University

Personal website: http://www.cs.appstate.edu/~johannp/

Contributions

2025

Haskell

Committee Member in Program Committee within the Haskell 2025-track

2024

ICFP

PC Member in ICFP Papers and Events within the ICFP Papers and Events-track

FLOPS

Committee Member in Programme Committee within the FLOPS 2024-track

2023

Symposium on Practical Aspects of Declarative Languages

Committee Member in Program Committee within the PADL 2023-track

POPL

Committee Member in Program Committee within the POPL-track

2022

APLAS

Author of Characterizing functions mappable over GADTs within the APLAS-track

CPP

Author of (Deep) Induction Rules for GADTs within the CPP 2022-track

2021

ICFP

Committee Member in Program Committee within the Research Papers-track

PLMW

Panelist of "I don't get it!" Panel within the PLMW @ ICFP 2021-track

Haskell

Committee Member in Program Committee within the Haskell 2021-track

TyDe

Committee Member in Program Committee within the TyDe 2021-track

2019

FOSSACS

Committee Member in Program Committee within the FOSSACS 2019-track

POPL

2017

TyDe

Committee Member in Program Committee within the TyDe 2017-track

2016

POPL