• Sign in
  • Sign up
conf.researchr.org / Karl Crary
  • PLDI 2015 profile
  • POPL 2016 profile
  • POPL 2017 profile
  • POPL 2018 profile
  • POPL 2019 profile

Registered user since Tue 22 Jan 2019

Name:Karl Crary
Affiliation:Carnegie Mellon University

Contributions

2019

POPL

  • Author of Fully Abstract Module Compilation within the Research Papers-track

2018

Symposium on Practical Aspects of Declarative Languages

  • Author of Hygienic Source-Code Generation Using Functors within the PADL 2018-track

POPL

  • Session Chair of Dependent Types (part of Research Papers)
  • Committee Member in Program Committee within the Research Papers-track

2017

POPL

  • Author of Modules, Abstraction, and Parametric Polymorphism within the POPL-track

2015

PLDI

  • Author of Peer-to-peer Affine Commitment using Bitcoin within the Research Papers-track
Share
xSun 3 Dec 15:09
using conf.researchr.org (v1.62.0)
Support page
Sign Up