| 2008 |
|---|
| 12 | EE | Claudio V. Russo:
Join patterns for visual basic.
OOPSLA 2008: 53-72 |
| 2007 |
|---|
| 11 | EE | Claudio V. Russo:
The.
PADL 2007: 260-274 |
| 2006 |
|---|
| 10 | EE | Burak Emir,
Andrew Kennedy,
Claudio V. Russo,
Dachuan Yu:
Variance and Generalized Constraints for C# Generics.
ECOOP 2006: 279-303 |
| 2005 |
|---|
| 9 | EE | Andrew Kennedy,
Claudio V. Russo:
Generalized algebraic data types and object-oriented programming.
OOPSLA 2005: 21-40 |
| 2004 |
|---|
| 8 | EE | Nick Benton,
Andrew Kennedy,
Sam Lindley,
Claudio V. Russo:
Shrinking Reductions in SML.NET.
IFL 2004: 142-159 |
| 7 | EE | Nick Benton,
Andrew Kennedy,
Claudio V. Russo:
Adventures in interoperability: the SML.NET experience.
PPDP 2004: 215-226 |
| 6 | EE | Claudio V. Russo:
Types for Modules.
Electr. Notes Theor. Comput. Sci. 60: (2004) |
| 2001 |
|---|
| 5 | | Claudio V. Russo:
Recursive Structures for Standard ML.
ICFP 2001: 50-61 |
| 2000 |
|---|
| 4 | EE | Claudio V. Russo:
First-Class Structures for Standard ML.
ESOP 2000: 336-350 |
| 3 | EE | Gavin M. Bierman,
Andrew M. Pitts,
Claudio V. Russo:
Operational Properties of Lily, a Polymorphic Linear Lambda Calculus with Recursion.
Electr. Notes Theor. Comput. Sci. 41(3): (2000) |
| 2 | | Claudio V. Russo:
First-Class Structures for Standard ML.
Nord. J. Comput. 7(4): 348-374 (2000) |
| 1999 |
|---|
| 1 | | Claudio V. Russo:
Non-dependent Types for Standard ML Modules.
PPDP 1999: 80-97 |
