| 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 |
| Spy: A flexible code profiling framework A Bergel, F Banados, R Robbes, D Röthlisberger Computer Languages, Systems & Structures 38 (1), 16-28, 2012 | 41 | 2012 |
| Gradual type-and-effect systems F Bañados Schwerter, R Garcia, É Tanter Journal of Functional Programming 26, 2016 | 35 | 2016 |
| Execution profiling blueprints A Bergel, F Bañados, R Robbes, W Binder Software: Practice and Experience 42 (9), 1165-1192, 2012 | 27 | 2012 |
| 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 | 18 | 2021 |
| Side effects take the blame F Bañados Schwerter SLE, 195-206, 2016 | 4 | 2016 |
| Abstracting Gradual Typing Moving Forward: Precise and Space-Efficient (Technical Report) FB Schwerter, AM Clark, KA Jafery, R Garcia arXiv preprint arXiv:2010.14094, 2020 | 1 | 2020 |
| A formal framework for understanding run-time checking errors in gradually typed languages FA Bañados Schwerter University of British Columbia, 2024 | | 2024 |
| Abstracting Gradual Typing Moving Forward: Precise and Space-Efficient (Technical Report) F Bañados Schwerter, AM Clark, KA Jafery, R Garcia arXiv e-prints, arXiv: 2010.14094, 2020 | | 2020 |
| Gradual typing for generic type-and-effect systems FA Bañados Schwerter Universidad de Chile, 2014 | | 2014 |
| Prototyping and evaluating TypeSlicer: a program slicing tool for gradual run-time type errors FB Schwerter, R Holmes, R Garcia | | |
Ronald GarciaUniversity of British ColumbiaOverená e-mailová adresa na: cs.ubc.ca