dblp.uni-trier.dewww.uni-trier.de

Claudio V. Russo

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2008
12EEClaudio V. Russo: Join patterns for visual basic. OOPSLA 2008: 53-72
2007
11EEClaudio V. Russo: The. PADL 2007: 260-274
2006
10EEBurak Emir, Andrew Kennedy, Claudio V. Russo, Dachuan Yu: Variance and Generalized Constraints for C# Generics. ECOOP 2006: 279-303
2005
9EEAndrew Kennedy, Claudio V. Russo: Generalized algebraic data types and object-oriented programming. OOPSLA 2005: 21-40
2004
8EENick Benton, Andrew Kennedy, Sam Lindley, Claudio V. Russo: Shrinking Reductions in SML.NET. IFL 2004: 142-159
7EENick Benton, Andrew Kennedy, Claudio V. Russo: Adventures in interoperability: the SML.NET experience. PPDP 2004: 215-226
6EEClaudio 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
4EEClaudio V. Russo: First-Class Structures for Standard ML. ESOP 2000: 336-350
3EEGavin 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

Coauthor Index

1Nick Benton (P. N. Benton) [7] [8]
2Gavin M. Bierman [3]
3Burak Emir [10]
4Andrew Kennedy [7] [8] [9] [10]
5Sam Lindley [8]
6Andrew M. Pitts [3]
7Dachuan Yu [10]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)