Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Christos Dimoulas
conf.researchr.org general profile
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
Name:
Christos Dimoulas
Affiliation:
Harvard University, USA
Personal website:
http://people.seas.harvard.edu/~chrdimo/
Contributions
2017
ICFP
Author of Whip: Higher-Order Contracts for Modern Services within the Research Papers-track
PLDI
Author of FunTAL: Reasonably Mixing a Functional Language with Assembly within the PLDI Research Papers-track
2016
SPLASH
Author of Extensible Access Control with Authorization Contracts within the OOPSLA-track
ICFP
Author of Oh Lord, Please Don't Let Contracts Be Misunderstood (Functional Pearl) within the Research Papers-track
ECOOP
Committee Member in Program Committee within the Research Track-track
2013
SPLASH
Author of Option Contracts within the OOPSLA-track
Share
x
Sun 22 Dec 03:26