Ronald Garcia

Follow

Generating author description...

All published works

Action	Title	Year	Authors
+ PDF Chat	A Formal Model to Prove Instantiation Termination for E-matching-Based Axiomatisations (Extended Version)	2024	Rui Ge Ronald Garcia Alexander J. Summers
+ PDF Chat	Propositional equality for gradual dependently typed programming	2022	Joseph Eremondi Ronald Garcia Éric Tanter
+	Approximate Normalization and Eager Equality Checking for Gradual Inductive Families	2021	Joseph Eremondi Ronald Garcia Éric Tanter
+	Abstracting Gradual Typing Moving Forward: Precise and Space-Efficient	2020	Felipe Bañados Schwerter Alison M. Clark Khurram A. Jafery Ronald Garcia
+	Abstracting Gradual Typing Moving Forward: Precise and Space-Efficient (Technical Report)	2020	Felipe Bañados Schwerter Alison M. Clark Khurram A. Jafery Ronald Garcia
+ PDF Chat	Approximate normalization for gradual dependent types	2019	Joseph Eremondi Éric Tanter Ronald Garcia
+	Deriving a Simple Gradual Security Language	2015	Ronald Garcia Éric Tanter
+	Monotonic References for Gradual Typing	2013	Jeremy G. Siek Michael M. Vitousek Matteo Cimini Sam Tobin-Hochstadt Ronald Garcia
+ PDF Chat	Lazy Evaluation and Delimited Control	2010	Ronald Garcia Andrew Lumsdaine Amr Sabry
+ PDF Chat	Lazy evaluation and delimited control	2009	Ronald Garcia Andrew Lumsdaine Amr Sabry
+ PDF Chat	Lazy evaluation and delimited control	2009	Ronald Garcia Andrew Lumsdaine Amr Sabry

Common Coauthors

Coauthor	Papers Together
Éric Tanter	4
Andrew Lumsdaine	3
Joseph Eremondi	3
Amr Sabry	3
Alison M. Clark	2
Khurram A. Jafery	2
Felipe Bañados Schwerter	2
Sam Tobin-Hochstadt	1
Matteo Cimini	1
Alexander J. Summers	1
Michael M. Vitousek	1
Jeremy G. Siek	1
Rui Ge	1

Commonly Cited References

Action	Title	Year	Authors	# of times referenced
+ PDF Chat	Approximate normalization for gradual dependent types	2019	Joseph Eremondi Éric Tanter Ronald Garcia	3
+ PDF Chat	Graduality from embedding-projection pairs	2018	Max S. New Amal Ahmed	2
+ PDF Chat	Gradual certified programming in coq	2015	Éric Tanter Nicolas Tabareau	2
+ PDF Chat	Gradual parametricity, revisited	2019	Matías Toro Elizabeth Labrada Éric Tanter	2
+ PDF Chat	Small-step and big-step semantics for call-by-need	2009	Keiko Nakata Masahito Hasegawa	2
+ PDF Chat	On the dynamic extent of delimited continuations	2005	Dariusz Biernacki Olivier Danvy Chung-chieh Shan	2
+	A Monadic Framework for Delimited Continuations	2005	Kent Dybvig Simon Peyton Jones Amr Sabry	2
+	Size-change termination as a contract: dynamically and statically enforcing termination for higher-order programs	2019	Phúc C. Nguyễn Thomas Gilray Sam Tobin-Hochstadt David Van Horn	1
+ PDF Chat	Parameterized cast calculi and reusable meta-theory for gradually typed lambda calculi	2021	Jeremy G. Siek Tianyu Chen	1
+ PDF Chat	Gradualizing the Calculus of Inductive Constructions	2022	Meven Lennon-Bertrand Kenji Maillard Nicolas Tabareau Éric Tanter	1
+ PDF Chat	A reasonably gradual type theory	2022	Kenji Maillard Meven Lennon-Bertrand Nicolas Tabareau Éric Tanter	1
+ PDF Chat	Irrelevance, Heterogeneous Equality, and Call-by-value Dependent Type Systems	2012	Vilhelm Sjöberg Chris Casinghino Ki Yung Ahn Nathan Collins Harley Eades Peng Fu Garrin Kimmell Tim Sheard Aaron Stump Stephanie Weirich	1
+ PDF Chat	On the Dynamic Extent of Delimited Continuations	2005	Dariusz Biernacki Olivier Danvy Chung-chieh Shan	1
+ PDF Chat	Equations for Hereditary Substitution in Leivant's Predicative System F: A Case Study	2015	Cyprien Mangin Matthieu Sozeau	1
+	Dependent Types in Haskell: Theory and Practice	2016	Richard A. Eisenberg	1
+	Gradual Parametricity, Revisited	2018	Matías Toro Elizabeth Labrada Éric Tanter	1
+ PDF Chat	Size-Change Termination as a Contract	2018	Phúc C. Nguyễn Thomas Gilray Sam Tobin-Hochstadt David Van Horn	1
+ PDF Chat	Live functional programming with typed holes	2019	Cyrus Omar Ian Voysey Ravi Chugh Matthew A. Hammer	1
+ PDF Chat	QED at Large: A Survey of Engineering of Formally Verified Software	2019	Talia Ringer Karl Palmskog Ilya Sergey Milos Gligoric Zachary Tatlock	1