ask others

Ilya Sergey

◀ ▶ joint publications with Dave Clarke 0001

> Home > Persons > Ilya Sergey
> Home > Persons > Dave Clarke 0001

Publications

2013
[c7]
- view
  - electronic edition @ acm.org
- export record
  dblp key:
  - conf/pepm/DevrieseSCP13
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/pepm/DevrieseSCP13
Dominique Devriese, Ilya Sergey, Dave Clarke, Frank Piessens:
Fixing idioms: a recursion primitive for applicative DSLs. PEPM 2013: 97-106
[c6]
- view
  - electronic edition @ acm.org
- export record
  dblp key:
  - conf/pldi/SergeyDMMDCP13
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/pldi/SergeyDMMDCP13
Ilya Sergey, Dominique Devriese, Matthew Might, Jan Midtgaard, David Darais, Dave Clarke, Frank Piessens:
Monadic abstract interpreters. PLDI 2013: 399-410
[p1]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - series/lncs/ClarkeOSW13
- ask others
- share record
  short URL:
  - https://dblp.org/rec/series/lncs/ClarkeOSW13
Dave Clarke, Johan Östlund, Ilya Sergey, Tobias Wrigstad:
Ownership Types: A Survey. Aliasing in Object-Oriented Programming 2013: 15-58
2012
[j1]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/ipl/SergeyC12
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/ipl/SergeyC12
Ilya Sergey, Dave Clarke:
A correspondence between type checking via reduction and type checking via evaluation. Inf. Process. Lett. 112(1-2): 13-20 (2012)
[c5]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/esop/SergeyC12
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/esop/SergeyC12
Ilya Sergey, Dave Clarke:
Gradual Ownership Types. ESOP 2012: 579-599
[c3]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/mpc/SergeyMC12
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/mpc/SergeyMC12
Ilya Sergey, Jan Midtgaard, Dave Clarke:
Calculating Graph Algorithms for Dominance and Shortest Path. MPC 2012: 132-156
2011
[c2]
- view
  - electronic edition @ acm.org
- export record
  dblp key:
  - conf/ldta/SergeyC11
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/ldta/SergeyC11
Ilya Sergey, Dave Clarke:
From type checking by recursive descent to type checking with an abstract machine. LDTA 2011: 2
2009
[c1]
- view
  - electronic edition @ acm.org
- export record
  dblp key:
  - conf/ecoop/ClarkeS09
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/ecoop/ClarkeS09
Dave Clarke, Ilya Sergey:
A semantics for context-oriented programming with layers. COP@ECOOP 2009: 10:1-10:6

maintained by

at