The following pages link to Ronald Garcia (Q2802446):
Displayed 10 items.
- Monotonic References for Efficient Gradual Typing (Q2802447) (← links)
- A theory of gradual effect systems (Q2819692) (← links)
- Principal Type Schemes for Gradual Programs (Q2819815) (← links)
- Abstracting gradual typing (Q2828288) (← links)
- Lazy Evaluation and Delimited Control (Q3575305) (← links)
- Exploring the Design Space of Higher-Order Casts (Q3617687) (← links)
- Calculating threesomes, with blame (Q5244820) (← links)
- Lazy evaluation and delimited control (Q5261514) (← links)
- An extended comparative study of language support for generic programming (Q5308081) (← links)
- Gradual type-and-effect systems (Q5371974) (← links)