Karl Crary -

Registered user since Tue 22 Jan 2019

Name:Karl Crary

Affiliation:Carnegie Mellon University

Contributions

POPL 2019	Author of Fully Abstract Module Compilation within the Research Papers-track
PADL 2018	Author of Hygienic Source-Code Generation Using Functors within the PADL 2018-track
POPL 2018	Session Chair of Dependent Types (part of Research Papers) Committee Member in Program Committee within the Research Papers-track
POPL 2017	Author of Modules, Abstraction, and Parametric Polymorphism within the POPL-track
PLDI 2015	Author of Peer-to-peer Affine Commitment using Bitcoin within the Research Papers-track