Ronald Garcia
From MaRDI portal
List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| A formal model to prove instantiation termination for E-matching-based axiomatisations | 2025-01-31 | Paper |
| Gradual type-and-effect systems Journal of Functional Programming | 2017-10-23 | Paper |
| Abstracting gradual typing Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages | 2016-10-24 | Paper |
| A theory of gradual effect systems Proceedings of the 19th ACM SIGPLAN international conference on Functional programming | 2016-09-29 | Paper |
| Principal type schemes for gradual programs Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages | 2016-09-29 | Paper |
| Monotonic references for efficient gradual typing Programming Languages and Systems | 2016-04-26 | Paper |
| Lazy evaluation and delimited control Proceedings of the 36th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages | 2015-07-03 | Paper |
| Calculating threesomes, with blame Proceedings of the 18th ACM SIGPLAN international conference on Functional programming | 2015-03-30 | Paper |
| Lazy evaluation and delimited control Logical Methods in Computer Science | 2010-07-27 | Paper |
| Exploring the Design Space of Higher-Order Casts Programming Languages and Systems | 2009-03-31 | Paper |
| An extended comparative study of language support for generic programming Journal of Functional Programming | 2007-09-26 | Paper |
Research outcomes over time
This page was built for person: Ronald Garcia
