A comparative study of language support for generic programming. - Ronald Garcia; Jaakko Järvi; Andrew Lumsdaine; Jeremy G. Siek; Jeremiah Willcock (OOPSLA, 2003)

MultiArray: a C++ library for generic programming with arrays. - Ronald Garcia; Andrew Lumsdaine (Softw. Pract. Exp., 2005)

An extended comparative study of language support for generic programming. - Ronald Garcia; Jaakko Järvi; Andrew Lumsdaine; Jeremy G. Siek; Jeremiah Willcock (J. Funct. Program., 2007)

Exploring the Design Space of Higher-Order Casts. - Jeremy G. Siek; Ronald Garcia; Walid Taha (ESOP, 2009)

Toward foundations for type-reflective metaprogramming. - Ronald Garcia; Andrew Lumsdaine (GPCE, 2009)

Lazy Evaluation and Delimited Control - Ronald Garcia; Andrew Lumsdaine; Amr Sabry (Log. Methods Comput. Sci., 2010)

Gradual Typestate. - Roger Wolff; Ronald Garcia; Éric Tanter; Jonathan Aldrich (ECOOP, 2011)

Permission-based programming languages. - Jonathan Aldrich; Ronald Garcia; Mark Hahnenberg; Manuel Mohr; Karl Naden; Darpan Saini; Sven Stork; Joshua Sunshine; Éric Tanter; Roger Wolff (ICSE, 2011)

Plaid: a permission-based programming language. - Jonathan Aldrich; Robert Bocchino; Ronald Garcia; Mark Hahnenberg; Manuel Mohr; Karl Naden; Darpan Saini; Sven Stork; Joshua Sunshine; Éric Tanter; Roger Wolff (OOPSLA Companion, 2011)

Interpretations of the gradually-typed lambda calculus. - Jeremy G. Siek; Ronald Garcia (Scheme@ICFP, 2012)

Nourishing the future of the field: the programming language mentoring workshop 2012. - Kathleen Fisher; Ronald Garcia; Stephanie Weirich (ACM SIGPLAN Notices, 2012)

Calculating threesomes, with blame. - Ronald Garcia (ICFP, 2013)

The Reaction of Open-Source Projects to New Language Features: An Empirical Study of C# Generics. - Donghoon Kim; Emerson R. Murphy-Hill; Chris Parnin; Christian Bird; Ronald Garcia (J. Object Technol., 2013)

A theory of gradual effect systems. - Felipe Bañados Schwerter; Ronald Garcia; Éric Tanter (ICFP, 2014)

Confined gradual typing. - Esteban Allende; Johan Fabry; Ronald Garcia; Éric Tanter (OOPSLA, 2014)

Foundations of Typestate-Oriented Programming. - Ronald Garcia; Éric Tanter; Roger Wolff; Jonathan Aldrich (ACM Trans. Program. Lang. Syst., 2014)

Essential retroactive weaving. - Robin Salkeld; Ronald Garcia (MODULARITY (Companion), 2015)

Monotonic References for Efficient Gradual Typing. - Jeremy G. Siek; Michael M. Vitousek; Matteo Cimini; Sam Tobin-Hochstadt; Ronald Garcia (ESOP, 2015)

Principal Type Schemes for Gradual Programs. - Ronald Garcia; Matteo Cimini (POPL, 2015)

Deriving a Simple Gradual Security Language. - Ronald Garcia; Éric Tanter (CoRR, 2015)

Abstracting gradual typing. - Ronald Garcia; Alison M. Clark; Éric Tanter (POPL, 2016)

Gradual type-and-effect systems. - Felipe Bañados Schwerter; Ronald Garcia; Éric Tanter (J. Funct. Program., 2016)

Type-Driven Gradual Security with References. - Matías Toro; Ronald Garcia; Éric Tanter (ACM Trans. Program. Lang. Syst., 2018)

Novice-friendly multi-armed robotics programming. - Nico Ritschel; Reid Holmes; Ronald Garcia; David C. Shepherd (RoSE@ICSE, 2019)

Approximate normalization for gradual dependent types. - Joseph Eremondi; Éric Tanter; Ronald Garcia (Proc. ACM Program. Lang., 2019)

Refining semantics for multi-stage programming. - Rui Ge 001; Ronald Garcia (J. Comput. Lang., 2019)

Corrigendum to "Type-driven Gradual Security with References, " by Toro et al., ACM Transactions on Programming Languages and Systems (TOPLAS) Volume 40, Issue 4, Article No. 16. - Matías Toro; Ronald Garcia; Éric Tanter (ACM Trans. Program. Lang. Syst., 2020)

Approximate Normalization and Eager Equality Checking for Gradual Inductive Families. - Joseph Eremondi; Ronald Garcia; Éric Tanter (CoRR, 2021)

Abstracting gradual typing moving forward: precise and space-efficient. - Felipe Bañados Schwerter; Alison M. Clark; Khurram A. Jafery; Ronald Garcia (Proc. ACM Program. Lang., 2021)

Enabling End-Users to Implement Larger Block-Based Programs. - Nico Ritschel; Felipe Fronchetti; Reid Holmes; Ronald Garcia; David C. Shepherd (ICSE-Companion, 2022)

Propositional equality for gradual dependently typed programming. - Joseph Eremondi; Ronald Garcia; Éric Tanter (Proc. ACM Program. Lang., 2022)

Can guided decomposition help end-users write larger block-based programs? a mobile robot experiment. - Nico Ritschel; Felipe Fronchetti; Reid Holmes; Ronald Garcia; David C. Shepherd (Proc. ACM Program. Lang., 2022)

Comparing Block-Based Programming Models for Two-Armed Robots. - Nico Ritschel; Vladimir Kovalenko; Reid Holmes; Ronald Garcia; David C. Shepherd (IEEE Trans. Software Eng., 2022)

Training industrial end-user programmers with interactive tutorials. - Nico Ritschel; Anand Ashok Sawant; David Weintrop; Reid Holmes; Alberto Bacchelli; Ronald Garcia; Chandrika K. R.; Avijit Mandal; Patrick Francis; David C. Shepherd (Softw. Pract. Exp., 2023)

Blocks? Graphs? Why Not Both? Designing and Evaluating a Hybrid Programming Environment for End-users. - Nico Ritschel; Felipe Fronchetti; Reid Holmes; Ronald Garcia; David C. Shepherd (ICSE Companion, 2024)

A Formal Model to Prove Instantiation Termination for E-matching-Based Axiomatisations. - Rui Ge 001; Ronald Garcia; Alexander J. Summers (IJCAR (1), 2024)

A Formal Model to Prove Instantiation Termination for E-matching-Based Axiomatisations (Extended Version). - Rui Ge 001; Ronald Garcia; Alexander J. Summers (CoRR, 2024)

Dynamic Program Slices Change How Developers Diagnose Gradual Run-Time Type Errors. - Felipe Bañados Schwerter; Ronald Garcia; Reid Holmes; Karim Ali 001 (Art Sci. Eng. Program., 2025)