Ilya Sergey
- > Home > Persons > Ilya Sergey
- > Home > Persons > Dave Clarke 0001
Publications
- 2013
- [c7]Dominique Devriese, Ilya Sergey, Dave Clarke, Frank Piessens:
Fixing idioms: a recursion primitive for applicative DSLs. PEPM 2013: 97-106 - [c6]Ilya Sergey, Dominique Devriese, Matthew Might, Jan Midtgaard, David Darais, Dave Clarke, Frank Piessens:
Monadic abstract interpreters. PLDI 2013: 399-410 - [p1]Dave Clarke, Johan Östlund, Ilya Sergey, Tobias Wrigstad:
Ownership Types: A Survey. Aliasing in Object-Oriented Programming 2013: 15-58 - 2012
- [j1]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]
- [c3]Ilya Sergey, Jan Midtgaard, Dave Clarke:
Calculating Graph Algorithms for Dominance and Shortest Path. MPC 2012: 132-156 - 2011
- [c2]Ilya Sergey, Dave Clarke:
From type checking by recursive descent to type checking with an abstract machine. LDTA 2011: 2 - 2009
- [c1]Dave Clarke, Ilya Sergey:
A semantics for context-oriented programming with layers. COP@ECOOP 2009: 10:1-10:6
data released under the ODC-BY 1.0 license; see also our legal information page
last updated on 2018-04-18 00:27 CEST by the dblp team