![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
Ronald Garcia
Person information
Refine list
![note](https://dblp1.uni-trier.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [c20]Nico Ritschel
, Felipe Fronchetti
, Reid Holmes
, Ronald Garcia
, David C. Shepherd
:
Blocks? Graphs? Why Not Both? Designing and Evaluating a Hybrid Programming Environment for End-users. ICSE Companion 2024: 326-327 - [c19]Rui Ge
, Ronald Garcia
, Alexander J. Summers
:
A Formal Model to Prove Instantiation Termination for E-matching-Based Axiomatisations. IJCAR (1) 2024: 419-438 - [i6]Rui Ge, Ronald Garcia, Alexander J. Summers:
A Formal Model to Prove Instantiation Termination for E-matching-Based Axiomatisations (Extended Version). CoRR abs/2404.18007 (2024) - 2023
- [j16]Nico Ritschel
, Anand Ashok Sawant
, David Weintrop, Reid Holmes, Alberto Bacchelli, Ronald Garcia, Chandrika K. R.
, Avijit Mandal, Patrick Francis, David C. Shepherd:
Training industrial end-user programmers with interactive tutorials. Softw. Pract. Exp. 53(3): 729-747 (2023) - 2022
- [j15]Joseph Eremondi
, Ronald Garcia
, Éric Tanter
:
Propositional equality for gradual dependently typed programming. Proc. ACM Program. Lang. 6(ICFP): 165-193 (2022) - [j14]Nico Ritschel
, Felipe Fronchetti
, Reid Holmes
, Ronald Garcia
, David C. Shepherd
:
Can guided decomposition help end-users write larger block-based programs? a mobile robot experiment. Proc. ACM Program. Lang. 6(OOPSLA2): 233-258 (2022) - [j13]Nico Ritschel
, Vladimir Kovalenko
, Reid Holmes
, Ronald Garcia, David C. Shepherd
:
Comparing Block-Based Programming Models for Two-Armed Robots. IEEE Trans. Software Eng. 48(5): 1630-1643 (2022) - [c18]Nico Ritschel, Felipe Fronchetti, Reid Holmes, Ronald Garcia, David C. Shepherd
:
Enabling End-Users to Implement Larger Block-Based Programs. ICSE-Companion 2022: 347-349 - [i5]Joseph Eremondi, Ronald Garcia, Éric Tanter:
Propositional Equality for Gradual Dependently Typed Programming. CoRR abs/2205.01241 (2022) - 2021
- [j12]Felipe Bañados Schwerter, Alison M. Clark, Khurram A. Jafery, Ronald Garcia:
Abstracting gradual typing moving forward: precise and space-efficient. Proc. ACM Program. Lang. 5(POPL): 1-28 (2021) - [i4]Joseph Eremondi, Ronald Garcia, Éric Tanter:
Approximate Normalization and Eager Equality Checking for Gradual Inductive Families. CoRR abs/2107.04859 (2021) - 2020
- [j11]Matías Toro, Ronald Garcia, Éric Tanter:
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. ACM Trans. Program. Lang. Syst. 42(2): 11:1-11:2 (2020) - [e2]William J. Bowman
, Ronald Garcia:
Trends in Functional Programming - 20th International Symposium, TFP 2019, Vancouver, BC, Canada, June 12-14, 2019, Revised Selected Papers. Lecture Notes in Computer Science 12053, Springer 2020, ISBN 978-3-030-47146-0 [contents] - [i3]Felipe Bañados Schwerter, Alison M. Clark, Khurram A. Jafery, Ronald Garcia:
Abstracting Gradual Typing Moving Forward: Precise and Space-Efficient. CoRR abs/2010.14094 (2020)
2010 – 2019
- 2019
- [j10]Joseph Eremondi
, Éric Tanter, Ronald Garcia:
Approximate normalization for gradual dependent types. Proc. ACM Program. Lang. 3(ICFP): 88:1-88:30 (2019) - [j9]Rui Ge
, Ronald Garcia:
Refining semantics for multi-stage programming. J. Comput. Lang. 51: 222-240 (2019) - [c17]Nico Ritschel
, Reid Holmes, Ronald Garcia, David C. Shepherd
:
Novice-friendly multi-armed robotics programming. RoSE@ICSE 2019: 29-32 - [i2]Joseph Eremondi, Éric Tanter, Ronald Garcia:
Approximate Normalization for Gradual Dependent Types. CoRR abs/1906.06469 (2019) - 2018
- [j8]Matías Toro
, Ronald Garcia, Éric Tanter:
Type-Driven Gradual Security with References. ACM Trans. Program. Lang. Syst. 40(4): 16:1-16:55 (2018) - 2017
- [c16]Rui Ge, Ronald Garcia:
Refining semantics for multi-stage programming. GPCE 2017: 2-14 - 2016
- [j7]Felipe Bañados Schwerter, Ronald Garcia, Éric Tanter:
Gradual type-and-effect systems. J. Funct. Program. 26: e19 (2016) - [c15]Ronald Garcia, Alison M. Clark, Éric Tanter:
Abstracting gradual typing. POPL 2016: 429-442 - 2015
- [c14]Robin Salkeld, Ronald Garcia:
Essential retroactive weaving. MODULARITY (Companion) 2015: 52-57 - [c13]Jeremy G. Siek
, Michael M. Vitousek, Matteo Cimini, Sam Tobin-Hochstadt
, Ronald Garcia:
Monotonic References for Efficient Gradual Typing. ESOP 2015: 432-456 - [c12]Ronald Garcia, Matteo Cimini:
Principal Type Schemes for Gradual Programs. POPL 2015: 303-315 - [i1]Ronald Garcia, Éric Tanter:
Deriving a Simple Gradual Security Language. CoRR abs/1511.01399 (2015) - 2014
- [j6]Ronald Garcia, Éric Tanter, Roger Wolff, Jonathan Aldrich
:
Foundations of Typestate-Oriented Programming. ACM Trans. Program. Lang. Syst. 36(4): 12:1-12:44 (2014) - [c11]Felipe Bañados Schwerter, Ronald Garcia, Éric Tanter:
A theory of gradual effect systems. ICFP 2014: 283-295 - [c10]Esteban Allende, Johan Fabry
, Ronald Garcia, Éric Tanter:
Confined gradual typing. OOPSLA 2014: 251-270 - 2013
- [j5]Donghoon Kim, Emerson R. Murphy-Hill, Chris Parnin, Christian Bird, Ronald Garcia:
The Reaction of Open-Source Projects to New Language Features: An Empirical Study of C# Generics. J. Object Technol. 12(4): 1: 1-31 (2013) - [c9]Ronald Garcia:
Calculating threesomes, with blame. ICFP 2013: 417-428 - 2012
- [j4]Kathleen Fisher, Ronald Garcia, Stephanie Weirich:
Nourishing the future of the field: the programming language mentoring workshop 2012. ACM SIGPLAN Notices 47(4a): 14-15 (2012) - [c8]Jeremy G. Siek
, Ronald Garcia:
Interpretations of the gradually-typed lambda calculus. Scheme@ICFP 2012: 68-80 - [e1]Andres Löh, Ronald Garcia:
Proceedings of the 8th ACM SIGPLAN workshop on Generic programming, WGP@ICFP 2012, Copenhagen, Denmark, September 9-15, 2012. ACM 2012, ISBN 978-1-4503-1576-0 [contents] - 2011
- [c7]Roger Wolff, Ronald Garcia, Éric Tanter, Jonathan Aldrich
:
Gradual Typestate. ECOOP 2011: 459-483 - [c6]Jonathan Aldrich
, Ronald Garcia, Mark Hahnenberg, Manuel Mohr, Karl Naden, Darpan Saini, Sven Stork, Joshua Sunshine, Éric Tanter, Roger Wolff:
Permission-based programming languages. ICSE 2011: 828-831 - [c5]Jonathan Aldrich
, Robert Bocchino, Ronald Garcia, Mark Hahnenberg, Manuel Mohr, Karl Naden, Darpan Saini, Sven Stork, Joshua Sunshine, Éric Tanter, Roger Wolff:
Plaid: a permission-based programming language. OOPSLA Companion 2011: 183-184 - 2010
- [j3]Ronald Garcia, Andrew Lumsdaine, Amr Sabry:
Lazy Evaluation and Delimited Control. Log. Methods Comput. Sci. 6(3) (2010)
2000 – 2009
- 2009
- [c4]Jeremy G. Siek
, Ronald Garcia, Walid Taha:
Exploring the Design Space of Higher-Order Casts. ESOP 2009: 17-31 - [c3]Ronald Garcia, Andrew Lumsdaine
:
Toward foundations for type-reflective metaprogramming. GPCE 2009: 25-34 - [c2]Ronald Garcia, Andrew Lumsdaine
, Amr Sabry
:
Lazy evaluation and delimited control. POPL 2009: 153-164 - 2007
- [j2]Ronald Garcia, Jaakko Järvi, Andrew Lumsdaine
, Jeremy G. Siek
, Jeremiah Willcock:
An extended comparative study of language support for generic programming. J. Funct. Program. 17(2): 145-205 (2007) - 2005
- [j1]Ronald Garcia, Andrew Lumsdaine
:
MultiArray: a C++ library for generic programming with arrays. Softw. Pract. Exp. 35(2): 159-188 (2005) - 2003
- [c1]Ronald Garcia, Jaakko Järvi, Andrew Lumsdaine
, Jeremy G. Siek, Jeremiah Willcock:
A comparative study of language support for generic programming. OOPSLA 2003: 115-134
Coauthor Index
![](https://dblp1.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-08-05 21:22 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint