Volgen
Ronald Garcia
Ronald Garcia
University of British Columbia
Geverifieerd e-mailadres voor cs.ubc.ca - Homepage
Titel
Geciteerd door
Geciteerd door
Jaar
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
259*2003
Abstracting gradual typing
R Garcia, AM Clark, É Tanter
43rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages …, 2016
1732016
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
1102007
Gradual typestate
R Wolff, R Garcia, É Tanter, J Aldrich
European Conference on Object-Oriented Programming, 459-483, 2011
1042011
Foundations of typestate-oriented programming
R Garcia, É Tanter, R Wolff, J Aldrich
ACM Transactions on Programming Languages and Systems (TOPLAS) 36 (4), 12, 2014
932014
Monotonic References for Efficient Gradual Typing
JG Siek, MM Vitousek, M Cimini, S Tobin-Hochstadt, R Garcia
European Symposium on Programming, 2015
882015
Exploring the design space of higher-order casts
J Siek, R Garcia, W Taha
European Symposium on Programming, 17-31, 2009
882009
Principal Type Schemes for Gradual Programs
R Garcia, M Cimini
Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of …, 2015
852015
A theory of gradual effect systems
F Bañados Schwerter, R Garcia, É Tanter
Proceedings of the 19th ACM SIGPLAN international conference on Functional …, 2014
85*2014
Type-driven gradual security with references
M Toro, R Garcia, É Tanter
ACM Transactions on Programming Languages and Systems (TOPLAS) 40 (4), 1-55, 2018
572018
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
402009
Calculating threesomes, with blame
R Garcia
Proceedings of the 18th ACM SIGPLAN international conference on Functional …, 2013
372013
Gradual type-and-effect systems
FB Schwerter, R Garcia, É Tanter
Journal of Functional Programming 26, 2016
362016
MultiArray: a C++ library for generic programming with arrays
R Garcia, A Lumsdaine
Software: Practice and Experience 35 (2), 159-188, 2005
322005
Interpretations of the gradually-typed lambda calculus
JG Siek, R Garcia
Proceedings of the 2012 Annual Workshop on Scheme and Functional Programming …, 2012
292012
Approximate normalization for gradual dependent types
J Eremondi, É Tanter, R Garcia
Proceedings of the ACM on Programming Languages 3 (ICFP), 1-30, 2019
262019
Confined gradual typing
E Allende, J Fabry, R Garcia, É Tanter
Proceedings of the 2014 ACM International Conference on Object Oriented …, 2014
242014
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
192021
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
162020
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–20