| Types for modules CV Russo University of Edinburgh. College of Science and Engineering. School of …, 1998 | 94 | 1998 |
| Generalized algebraic data types and object-oriented programming A Kennedy, CV Russo ACM SIGPLAN Notices 40 (10), 21-40, 2005 | 81 | 2005 |
| Recursive structures for Standard ML CV Russo Proceedings of the sixth ACM SIGPLAN international conference on Functional …, 2001 | 79 | 2001 |
| Operational properties of Lily, a polymorphic linear lambda calculus with recursion GM Bierman Electronic Notes Theoretical Computer Sci. 41, 9, 2000 | 79 | 2000 |
| Parallel concurrent ML J Reppy, CV Russo, Y Xiao ACM Sigplan Notices 44 (9), 257-268, 2009 | 78 | 2009 |
| Variance and Generalized Constraints for C Generics B Emir, A Kennedy, C Russo, D Yu European Conference on Object-Oriented Programming, 279-303, 2006 | 77 | 2006 |
| F-ing modules A Rossberg, C Russo, D Dreyer Journal of functional programming 24 (5), 529-607, 2014 | 71 | 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 | 69 | 2014 |
| First-Class Structures for Standard ML CV Russo Nordic Journal of Computing 7 (4), 348-374, 2000 | 68 | 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 | 67 | 2012 |
| F-ing modules A Rossberg, CV Russo, D Dreyer Proceedings of the 5th ACM SIGPLAN Workshop on Types in Language Design and …, 2010 | 53 | 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 | 52 | 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 | 46 | 2004 |
| The joins concurrency library C Russo International Symposium on Practical Aspects of Declarative Languages, 260-274, 2007 | 43 | 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 | 41 | 2017 |
| 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 | 38 | 2013 |
| Non-dependent types for Standard ML modules CV Russo International Conference on Principles and Practice of Declarative …, 1999 | 36 | 1999 |
| Database access AD Gordon, TKH Graepel, NPM Rolland, EJ Borgstrom, CV Russo US Patent 9,418,086, 2016 | 27 | 2016 |
| An inclusive workplace approach to disability through assistive technologies: a systematic review and thematic analysis of the literature T Marinaci, C Russo, G Savarese, G Stornaiuolo, F Faiella, L Carpinelli, ... Societies 13 (11), 231, 2023 | 24 | 2023 |
| Scalable join patterns AJ Turon, CV Russo ACM SIGPLAN Notices 46 (10), 575-594, 2011 | 23 | 2011 |
Andrew D GordonCogna and University of EdinburghVerified email at cogna.co
