| Types for modules CV Russo University of Edinburgh. College of Science and Engineering. School of …, 1998 | 95 | 1998 |
| Variance and Generalized Constraints for C Generics B Emir, A Kennedy, C Russo, D Yu European Conference on Object-Oriented Programming, 279-303, 2006 | 78 | 2006 |
| Generalized algebraic data types and object-oriented programming A Kennedy, CV Russo ACM SIGPLAN Notices 40 (10), 21-40, 2005 | 77 | 2005 |
| Operational properties of Lily, a polymorphic linear lambda calculus with recursion GM Bierman Electronic Notes Theoretical Computer Sci. 41, 9, 2000 | 77 | 2000 |
| Recursive structures for Standard ML CV Russo Proceedings of the sixth ACM SIGPLAN international conference on Functional …, 2001 | 75 | 2001 |
| F-ing modules A Rossberg, C Russo, D Dreyer Journal of functional programming 24 (5), 529-607, 2014 | 67 | 2014 |
| 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 | 67 | 2014 |
| Parallel concurrent ML J Reppy, CV Russo, Y Xiao ACM Sigplan Notices 44 (9), 257-268, 2009 | 67 | 2009 |
| First-Class Structures for Standard ML CV Russo Nordic Journal of Computing 7 (4), 348-374, 2000 | 65 | 2000 |
| 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 | 59 | 2012 |
| F-ing modules A Rossberg, CV Russo, D Dreyer Proceedings of the 5th ACM SIGPLAN Workshop on Types in Language Design and …, 2010 | 50 | 2010 |
| Deriving probability density functions from probabilistic functional programs S Bhat, J Borgström, AD Gordon, C Russo Tools and Algorithms for the Construction and Analysis of Systems: 19th …, 2013 | 47 | 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 | 44 | 2004 |
| 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 | 40 | 2013 |
| The joins concurrency library C Russo International Symposium on Practical Aspects of Declarative Languages, 260-274, 2007 | 40 | 2007 |
| Monitoring internet trade to inform species conservation actions V Vaglica, M Sajeva, HN McGough, D Hutchison, C Russo, AD Gordon, ... Endangered Species Research 32, 223-235, 2017 | 37 | 2017 |
| Non-dependent types for Standard ML modules CV Russo International Conference on Principles and Practice of Declarative …, 1999 | 35 | 1999 |
| Database access AD Gordon, TKH Graepel, NPM Rolland, EJ Borgstrom, CV Russo US Patent 9,418,086, 2016 | 26 | 2016 |
| Scalable join patterns AJ Turon, CV Russo ACM SIGPLAN Notices 46 (10), 575-594, 2011 | 22 | 2011 |
| QML: Explicit first-class polymorphism for ML CV Russo, D Vytiniotis Proceedings of the 2009 ACM SIGPLAN workshop on ML, 3-14, 2009 | 22 | 2009 |
Andrew D GordonMicrosoft Research and University of EdinburghVerified email at microsoft.com
