| [1] |
Claudio Russo.
Join Patterns for Visual Basic.
In OOPSLA 2008: Proceedings of the 2008 ACM Conference on
Object-Oriented Programming, Systems, Languages and Applications. ACM Press,
October 2008. [ .pdf | Abstract ] |
| [2] |
Claudio Russo.
The Joins Concurrency Library.
In Michael Hanus, editor, Ninth International Symposium on
Practical Aspects of Declarative Languages (PADL 2007), volume 4354 of
Lecture Notes In Computer Science (LNCS), pages 260-274. Springer-Verlag,
January 2007.
(c) Springer-Verlag,
http://www.springer.de/comp/lncs/index.html. [ .pdf | Abstract ] |
| [3] |
Burak Emir, Andrew J. Kennedy, Claudio Russo, and Dachuan Yu.
Variance and generalized constraints for C# generics.
In European Conference on Object-Oriented Programming (ECOOP),
July 2006. [ .pdf | Abstract ] |
| [4] |
Andrew Kennedy and Claudio Russo.
Generalized algebraic data types and object-oriented programming.
In OOPSLA 2005: Proceedings of the 2005 ACM Conference on
Object-Oriented Programming, Systems, Languages and Applications. ACM Press,
October 2005. [ .pdf | Abstract ] |
| [5] |
Andrew Kennedy, Nick Benton, Sam Lindley, and Claudio Russo.
Shrinking reductions in SML.NET.
In 16th International Workshop on Implementation and Application
of Functional Languages (IFL '04)., volume 41 of Springer Lecture Notes
in Computer Science(to appear). Springer Verlag, September 2004. [ .pdf | Abstract ] |
| [6] |
Nick Benton, Andrew Kennedy, and Claudio V. Russo.
Adventures in interoperability: the SML.NET experience.
In PPDP '04: Proceedings of the 6th ACM SIGPLAN International
Conference on Principles and Practice of Declarative Programming, pages
215-226. ACM Press, August 2004. [ .pdf | Abstract ] |
| [7] |
Claudio V. Russo.
Types for Modules.
Electronic Notes in Theoretical Computer Science, 60, January
2003.
This monograph contains an additional chapter not included in the
thesis version. [ .pdf | Abstract ] |
| [8] |
Claudio V. Russo.
Recursive Structures for Standard ML.
In Proceedings of the 2001 ACM SIGPLAN International Conference
on Functional Programming, pages 50-61. ACM Press, September 2001. [ .pdf | Abstract ] |
| [9] |
Gavin M. Bierman, Andrew M. Pitts, and Claudio V. Russo.
Operational properties of Lily, a polymorphic linear lambda
calculus with recursion.
In Fourth International Workshop on Higher Order Operational
Techniques in Semantics, Montréal, volume 41 of Electronic Notes in
Theoretical Computer Science. Elsevier, September 2000. [ .pdf | Abstract ] |
| [10] |
Claudio V. Russo.
First-class Structures for Standard ML.
In Programming Languages and Systems, ESOP 2000, volume 1782,
pages 336-350. Springer Verlag, March 2000. [ .pdf | Abstract ] |
| [11] |
Claudio V. Russo.
First-class Structures for Standard ML.
Nordic Journal Of Computing, 7:348-374, January 2000.
Copy available on request. [ http | Abstract ] |
| [12] |
Claudio V. Russo.
Non-dependent types for Standard ML Modules.
In PPDP '99: Proceedings of the International Conference PPDP'99
on Principles and Practice of Declarative Programming, pages 80-97.
Springer-Verlag, September 1999. [ .pdf | Abstract ] |
| [13] |
Claudio V. Russo.
Types for Modules.
PhD thesis, Edinburgh University, Edinburgh, Scotland, March 1998.
LFCS Thesis ECS-LFCS-98-389. [7] is a
version of this document with an additional chapter on Moscow ML, proper
bookmarks, and hyper links. [ .pdf | Abstract ] |
This file has been generated by bibtex2html 1.74