BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × India
1 × Sweden
3 × United Kingdom
6 × USA
Collaborated with:
É.Tanter A.Lumsdaine J.G.Siek M.Cimini R.G.0001 R.Wolff J.Aldrich F.B.Schwerter W.Taha A.Sabry Alison M. Clark E.Allende J.Fabry M.M.Vitousek S.Tobin-Hochstadt J.Järvi J.Willcock M.Hahnenberg M.Mohr K.Naden D.Saini S.Stork J.Sunshine
Talks about:
gradual (6) type (5) program (4) languag (2) metaprogram (1) threesom (1) abstract (1) support (1) reflect (1) princip (1)

Person: Ronald Garcia

DBLP DBLP: Garcia:Ronald

Contributed to:

ESOP 20152015
POPL 20152015
ICFP 20142014
OOPSLA 20142014
ICFP 20132013
ECOOP 20112011
ICSE 20112011
ESOP 20092009
GPCE 20092009
POPL 20092009
OOPSLA 20032003
GPCE 20172017
POPL 20162016

Wrote 13 papers:

ESOP-2015-SiekVCTG #performance #type system
Monotonic References for Efficient Gradual Typing (JGS, MMV, MC, STH, RG), pp. 432–456.
POPL-2015-GarciaC #source code
Principal Type Schemes for Gradual Programs (RG, MC), pp. 303–315.
ICFP-2014-SchwerterGT #formal method
A theory of gradual effect systems (FBS, RG, ÉT), pp. 283–295.
OOPSLA-2014-AllendeFGT #type system
Confined gradual typing (EA, JF, RG, ÉT), pp. 251–270.
Calculating threesomes, with blame (RG), pp. 417–428.
ECOOP-2011-WolffGTA #type system
Gradual Typestate (RW, RG, ÉT, JA), pp. 459–483.
ICSE-2011-AldrichGHMNSSSTW #programming language
Permission-based programming languages (JA, RG, MH, MM, KN, DS, SS, JS, ÉT, RW), pp. 828–831.
ESOP-2009-SiekGT #design #higher-order
Exploring the Design Space of Higher-Order Casts (JGS, RG, WT), pp. 17–31.
GPCE-2009-GarciaL #metaprogramming #towards
Toward foundations for type-reflective metaprogramming (RG, AL), pp. 25–34.
POPL-2009-GarciaLS #evaluation #lazy evaluation
Lazy evaluation and delimited control (RG, AL, AS), pp. 153–164.
OOPSLA-2003-GarciaJLSW #case study #comparative #programming
A comparative study of language support for generic programming (RG, JJ, AL, JGS, JW), pp. 115–134.
GPCE-2017-GeG #multi #programming #semantics
Refining semantics for multi-stage programming (RG0, RG), pp. 2–14.
POPL-2016-GarciaCT #type system
Abstracting gradual typing (RG, AMC, ÉT), pp. 429–442.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.