| Types for modules CV Russo University of Edinburgh. College of Science and Engineering. School of …, 1998 | 93 | 1998 |
| Operational properties of Lily, a polymorphic linear lambda calculus with recursion GM Bierman, AM Pitts, CV Russo In Fourth International Workshop on Higher Order Operational Techniques in …, 2000 | 74 | 2000 |
| Variance and Generalized Constraints for C Generics B Emir, A Kennedy, C Russo, D Yu European Conference on Object-Oriented Programming, 279-303, 2006 | 73 | 2006 |
| Recursive structures for Standard ML CV Russo Proceedings of the sixth ACM SIGPLAN international conference on Functional …, 2001 | 73 | 2001 |
| Generalized algebraic data types and object-oriented programming A Kennedy, CV Russo ACM SIGPLAN Notices 40 (10), 21-40, 2005 | 63 | 2005 |
| First-Class Structures for Standard ML CV Russo Nordic Journal of Computing 7 (4), 348-374, 2000 | 59 | 2000 |
| Parallel concurrent ML J Reppy, CV Russo, Y Xiao ACM Sigplan Notices 44 (9), 257-268, 2009 | 58 | 2009 |
| Tabular: a schema-driven probabilistic programming language AD Gordon, T Graepel, N Rolland, C Russo, J Borgstrom, J Guiver Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of …, 2014 | 56 | 2014 |
| Pause ’n’ Play: Formalizing Asynchronous C G Bierman, C Russo, G Mainland, E Meijer, M Torgersen European Conference on Object-Oriented Programming, 233-257, 2012 | 50 | 2012 |
| F-ing modules A Rossberg, CV Russo, D Dreyer Proceedings of the 5th ACM SIGPLAN Workshop on Types in Language Design and …, 2010 | 45 | 2010 |
| Deriving probability density functions from probabilistic functional programs S Bhat, J Borgström, AD Gordon, C Russo International Conference on Tools and Algorithms for the Construction and …, 2013 | 42 | 2013 |
| Adventures in interoperability: the sml. net experience N Benton, A Kennedy, CV Russo Proceedings of the 6th ACM SIGPLAN International conference on Principles …, 2004 | 42 | 2004 |
| The joins concurrency library C Russo International Symposium on Practical Aspects of Declarative Languages, 260-274, 2007 | 41 | 2007 |
| F-ing modules A Rossberg, C Russo, D Dreyer Journal of functional programming 24 (5), 529-607, 2014 | 40 | 2014 |
| A model-learner pattern for Bayesian reasoning AD Gordon, M Aizatulin, J Borgstrom, G Claret, T Graepel, AV Nori, ... Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on Principles of …, 2013 | 36 | 2013 |
| Non-dependent types for Standard ML modules CV Russo International Conference on Principles and Practice of Declarative …, 1999 | 33 | 1999 |
| Scalable join patterns AJ Turon, CV Russo ACM SIGPLAN Notices 46 (10), 575-594, 2011 | 23 | 2011 |
| QML: Explicit first-class polymorphism for ML CV Russo, D Vytiniotis Proceedings of the 2009 ACM SIGPLAN workshop on ML, 3-14, 2009 | 19 | 2009 |
| Join patterns for visual basic CV Russo Proceedings of the 23rd ACM SIGPLAN conference on Object-oriented …, 2008 | 17 | 2008 |
| Shrinking reductions in SML. NET N Benton, A Kennedy, S Lindley, C Russo Symposium on Implementation and Application of Functional Languages, 142-159, 2004 | 16 | 2004 |
Andrew D GordonMicrosoft Research and University of EdinburghVerified email at microsoft.com
