A comparative study of language support for generic programming R Garcia, J Jarvi, A Lumsdaine, JG Siek, J Willcock OOPSLA 3 (36), 115-134, 2003 | 257* | 2003 |
Abstracting gradual typing R Garcia, AM Clark, É Tanter 43rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages …, 2016 | 162 | 2016 |
An extended comparative study of language support for generic programming R Garcia, J Jarvi, A Lumsdaine, J Siek, J Willcock Journal of functional programming 17 (2), 145-205, 2007 | 107 | 2007 |
Gradual typestate R Wolff, R Garcia, É Tanter, J Aldrich European Conference on Object-Oriented Programming, 459-483, 2011 | 102 | 2011 |
Foundations of typestate-oriented programming R Garcia, É Tanter, R Wolff, J Aldrich ACM Transactions on Programming Languages and Systems (TOPLAS) 36 (4), 12, 2014 | 88 | 2014 |
Monotonic References for Efficient Gradual Typing JG Siek, MM Vitousek, M Cimini, S Tobin-Hochstadt, R Garcia European Symposium on Programming, 2015 | 84 | 2015 |
A theory of gradual effect systems F Bañados Schwerter, R Garcia, É Tanter Proceedings of the 19th ACM SIGPLAN international conference on Functional …, 2014 | 84* | 2014 |
Exploring the design space of higher-order casts J Siek, R Garcia, W Taha European Symposium on Programming, 17-31, 2009 | 84 | 2009 |
Principal Type Schemes for Gradual Programs R Garcia, M Cimini Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of …, 2015 | 80 | 2015 |
Type-driven gradual security with references M Toro, R Garcia, É Tanter ACM Transactions on Programming Languages and Systems (TOPLAS) 40 (4), 1-55, 2018 | 56 | 2018 |
Concepts for C++ 0x J Siek, D Gregor, R Garcia, J Willcock, J Järvi, A Lumsdaine Technical Report, 1758 | 46* | 1758 |
Lazy evaluation and delimited control R Garcia, A Lumsdaine, A Sabry ACM SIGPLAN Notices 44 (1), 153-164, 2009 | 38 | 2009 |
Calculating threesomes, with blame R Garcia Proceedings of the 18th ACM SIGPLAN international conference on Functional …, 2013 | 37 | 2013 |
Gradual type-and-effect systems FB Schwerter, R Garcia, É Tanter Journal of Functional Programming 26, 2016 | 35 | 2016 |
MultiArray: a C++ library for generic programming with arrays R Garcia, A Lumsdaine Software: Practice and Experience 35 (2), 159-188, 2005 | 32 | 2005 |
Interpretations of the gradually-typed lambda calculus JG Siek, R Garcia Proceedings of the 2012 Annual Workshop on Scheme and Functional Programming …, 2012 | 29 | 2012 |
Approximate normalization for gradual dependent types J Eremondi, É Tanter, R Garcia Proceedings of the ACM on Programming Languages 3 (ICFP), 1-30, 2019 | 25 | 2019 |
Confined gradual typing E Allende, J Fabry, R Garcia, É Tanter Proceedings of the 2014 ACM International Conference on Object Oriented …, 2014 | 22 | 2014 |
Abstracting gradual typing moving forward: precise and space-efficient F Bañados Schwerter, AM Clark, KA Jafery, R Garcia Proceedings of the ACM on Programming Languages 5 (POPL), 1-28, 2021 | 16 | 2021 |
Comparing block-based programming models for two-armed robots N Ritschel, V Kovalenko, R Holmes, R Garcia, DC Shepherd IEEE Transactions on Software Engineering 48 (5), 1630-1643, 2020 | 15 | 2020 |