Claudio Russo's Publications

[1] Sooraj Bhat, Johannes Borgström, Andrew D. Gordon, and Claudio Russo. Deriving probability density functions from probabilistic functional programs. In Proceedings of the 19th international conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS'13, pages 508-522, Berlin, Heidelberg, 2013. Springer-Verlag.
[ http ]
[2] Andrew D. Gordon, Mihhail Aizatulin, Johannes Borgstrom, Guillaume Claret, Thore Graepel, Aditya V. Nori, Sriram K. Rajamani, and Claudio Russo. A model-learner pattern for bayesian reasoning. In Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages, POPL '13, pages 403-416, New York, NY, USA, 2013. ACM.
[ http ]
[3] Gavin Bierman, Claudio Russo, Geoffrey Mainland, Erik Meijer, and Mads Torgersen. Pause 'n' play: Formalizing asynchronous C#. In James Noble, editor, ECOOP 2012 - Object-Oriented Programming, Lecture Notes in Computer Science. Springer Berlin / Heidelberg, June 2012.
[ http | Abstract ]
[4] Claudio Russo and Neng Fa Zhou, editors. Fourteenth International Symposium on Practical Aspects of Declarative Languages (PADL 2007), volume 7149 of Lecture Notes In Computer Science (LNCS). Springer-Verlag, January 2012.
[ .pdf ]
[5] Aaron J. Turon and Claudio V. Russo. Scalable Join Patterns. In Proceedings of the 2011 ACM International Conference on Object Oriented Programming Systems Languages and Applications, OOPSLA '11, pages 575-594, New York, NY, USA, 2011. ACM.
[ .pdf | Abstract ]
[6] Andreas Rossberg, Claudio V. Russo, and Derek Dreyer. F-ing Modules. In 2010 ACM SIGPLAN Workshop on Types in Language Design and Implementation (TLDI2010), 2010. Coq formalization http://www.mpi-sws.org/~rossberg/f-ing/f-ing.zip.
[ .pdf | Abstract ]
[7] John Reppy, Claudio Russo, and Yingqi Xiao. Parallel Concurrent ML. In Proceedings of the 14th ACM SIGPLAN International Conference on Functional Programming (ICFP 2009), September 2009.
[ .pdf | Abstract ]
[8] Claudio V. Russo and Dimitrios Vytiniotis. QML: Explicit First-Class Polymorphism for ML. In 2009: ACM-SIGPLAN Workshop on ML. ACM Press, August 2009. (downloads http://research.microsoft.com/~crusso/qml).
[ .pdf | Abstract ]
[9] 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 ]
[10] 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 ]
[11] Derek Dreyer and Claudio Russo, editors. ML '07: Proceedings of the 2007 ACM SIGPLAN Workshop on ML, New York, NY, USA, 2007. ACM. 565075.
[12] 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 ]
[13] 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 ]
[14] 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. Springer Verlag, September 2004.
[ .pdf | Abstract ]
[15] 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 ]
[16] 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 ]
[17] 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 ]
[18] 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 ]
[19] 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 ]
[20] Claudio V. Russo. First-class Structures for Standard ML. Nordic Journal Of Computing, 7:348-374, January 2000. Copy available on request.
[ http | Abstract ]
[21] 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 ]
[22] Claudio V. Russo. Types for Modules. PhD thesis, Edinburgh University, Edinburgh, Scotland, March 1998. LFCS Thesis ECS-LFCS-98-389. [16] 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