| | |
- CSB - MetaPress - Google - Bing - Yahoo
 | 2012 | |
|---|---|---|
| 6 |      | Gabriel Kerneis, Juliusz Chroboczek: Lambda-lifting and CPS conversion in an imperative language CoRR abs/1202.3247: (2012) |
| 2011 | ||
| 5 | | Gabriel Kerneis, Juliusz Chroboczek: CPC: programming with a massive number of lightweight threads CoRR abs/1102.0951: (2011) |
| 2010 | ||
| 4 | | Gabriel Kerneis, Juliusz Chroboczek: Continuation-Passing C, compiling threads to events through continuations CoRR abs/1011.4558: (2010) |
| 2001 | ||
| 3 | | Juliusz Chroboczek: Subtyping Recursive Games. TLCA 2001: 61-75 |
| 2000 | ||
| 2 | | Juliusz Chroboczek: Game Semantics and Subtyping. LICS 2000: 192-203 |
| 1997 | ||
| 1 | | Andrea Asperti, Juliusz Chroboczek: Safe Operators: Brackets Closed Forever Optimizing Optimal lambda-Calculus Implementations - Optimizing Optimal lambda-Calculus Implementations. Appl. Algebra Eng. Commun. Comput. 8(6): 437-468 (1997) |
| 1 | Andrea Asperti | [1] |
| 2 | Gabriel Kerneis | [4] [5] [6] |
Colors in the list of coauthors
Last update Tue May 29 01:28:40 2012 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page