• Sign in
  • Sign up
conf.researchr.org / Christos Dimoulas
  • ECOOP 2016 profile
  • ICFP 2016 profile
  • ICFP 2017 profile
  • PLDI, ECOOP, Curry On, DEBS, LCTES and ISMM profile
  • PPoPP 2016 profile
  • SPLASH 2013 profile
  • SPLASH 2016 profile
  • ‹Programming› 2019 profile

Not registered as user yet

Name:Christos Dimoulas
Affiliation:Harvard University, USA
Personal website:http://people.seas.harvard.edu/~chrdimo/

Contributions

ICFP 2017 Author of Whip: Higher-Order Contracts for Modern Services within the Research Papers-track
PLDI 2017 Author of FunTAL: Reasonably Mixing a Functional Language with Assembly within the PLDI Research Papers-track
SPLASH 2016 Author of Extensible Access Control with Authorization Contracts within the OOPSLA-track
ICFP 2016 Author of Oh Lord, Please Don't Let Contracts Be Misunderstood (Functional Pearl) within the Research Papers-track
ECOOP 2016 Committee Member in Program Committee within the Research Track-track
SPLASH 2013 Author of Option Contracts within the OOPSLA-track

Share
xThu 23 Mar 03:47
using conf.researchr.org (v1.59.1)
Support page
Sign Up