| [1] |
Johannes Borgstroem, Andrew D. Gordon, Long Ouyang, Claudio Russo, Adam
Scibior, and Marcin Szymczak.
Fabular: Regression formulas as probabilistic programming.
In Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium
on Principles of Programming Languages, POPL '16, pages 271-283, New York,
NY, USA, 2016. ACM. [ http | Abstract ] |
| [2] |
Claudio Russo, Matthew Windsor, Don Syme, Rupert Horlick, and James Clarke.
Classes for the masses.
In 2016: ACM-SIGPLAN Workshop on ML (Informal Proceedings),
POPL '16, New York, NY, USA, 2016. ACM. [ .pdf | Abstract ] |
| [3] |
Andrew D. Gordon, Claudio Russo, Marcin Szymczak, Johannes Borgstroem, Nicolas
Rolland, Thore Graepel, and Daniel Tarlow.
Probabilistic programs as spreadsheet queries.
In Jan Vitek, editor, Programming Languages and Systems, volume
9032 of Lecture Notes in Computer Science, pages 1-25. Springer Berlin
Heidelberg, 2015. [ http | Abstract ] |
| [4] |
Andrew D. Gordon, Thore Graepel, Nicolas Rolland, Claudio Russo, Johannes
Borgstroem, and John Guiver.
Tabular: A schema-driven probabilistic programming language.
In Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on
Principles of Programming Languages, POPL '14, pages 321-334, New York, NY,
USA, 2014. ACM. [ http | Abstract ] |
| [5] |
Andreas Rossberg, Claudio Russo, and Derek Dreyer.
F-ing modules.
Journal of Functional Programming, 24:529-607, 2014. [ http | Abstract ] |
| [6] |
Sooraj Bhat, Johannes Borgstroem, 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 | Abstract ] |
| [7] |
Andrew D. Gordon, Mihhail Aizatulin, Johannes Borgstroem, 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 | Abstract ] |
| [8] |
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 ] |
| [9] |
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. |
| [10] |
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 ] |
| [11] |
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 ] |
| [12] |
Claudio Russo, Gavin Bierman, and Tomas Petricek.
From iterators to computations and beyond.
2010. [ .pdf | Abstract ] |
| [13] |
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 ] |
| [14] |
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 ] |
| [15] |
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 ] |
| [16] |
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 ] |
| [17] |
Derek Dreyer and Claudio Russo, editors.
ML '07: Proceedings of the 2007 ACM SIGPLAN Workshop on ML,
New York, NY, USA, 2007. ACM.
565075. |
| [18] |
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 ] |
| [19] |
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 ] |
| [20] |
Andrew Kennedy and Claudio Russo.
Transposing G to C#: Expressivity of generalized algebraic data
types in an object-oriented language.
2005. [ .pdf | Abstract ] |
| [21] |
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 ] |
| [22] |
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 ] |
| [23] |
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 ] |
| [24] |
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 ] |
| [25] |
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, Montreal, volume 41 of Electronic Notes in
Theoretical Computer Science. Elsevier, September 2000. [ .pdf | Abstract ] |
| [26] |
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 ] |
| [27] |
Claudio V. Russo.
First-class Structures for Standard ML.
Nordic Journal Of Computing, 7:348-374, January 2000.
Copy available on request. [ http | Abstract ] |
| [28] |
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 ] |
| [29] |
Claudio V. Russo.
Types for Modules.
PhD thesis, Edinburgh University, Edinburgh, Scotland, March 1998.
LFCS Thesis ECS-LFCS-98-389. [23] 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