( en | de | ru )

 

Disambiguation of "Garcia, Ronald"

Author of the publication

copydeleteadd this publication to your clipboard
Propositional equality for gradual dependently typed programming.

, , and . Proc. ACM Program. Lang., 6 (ICFP): 165-193 (2022)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Luisa García García

Sarahi Garcia Garcia

Julio Abraham García García

-F Garcia

Carmelo Garcia

 

Other publications of authors with the same name

Gradual type-and-effect systems., , and . J. Funct. Program., (2016)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., , and . ACM Trans. Program. Lang. Syst., 42 (2): 11:1-11:2 (2020)Comparing Block-Based Programming Models for Two-Armed Robots., , , , and . IEEE Trans. Software Eng., 48 (5): 1630-1643 (2022)Propositional Equality for Gradual Dependently Typed Programming., , and . CoRR, (2022)Lazy evaluation and delimited control., , and . POPL, page 153-164. ACM, (2009)Enabling End-Users to Implement Larger Block-Based Programs., , , , and . ICSE-Companion, page 347-349. ACM/IEEE, (2022)Can guided decomposition help end-users write larger block-based programs? a mobile robot experiment., , , , and . Proc. ACM Program. Lang., 6 (OOPSLA2): 233-258 (2022)The Reaction of Open-Source Projects to New Language Features: An Empirical Study of C# Generics., , , , and . J. Object Technol., 12 (4): 1: 1-31 (2013)Approximate Normalization and Eager Equality Checking for Gradual Inductive Families., , and . CoRR, (2021)Abstracting gradual typing., , and . POPL, page 429-442. ACM, (2016)