| A theory of gradual effect systems F Bañados Schwerter, R Garcia, É Tanter Proceedings of the 19th ACM SIGPLAN international conference on Functional …, 2014 | 83* | 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 | 43 | 2012 |
| Gradual type-and-effect systems F Bañados Schwerter, R Garcia, É Tanter Journal of Functional Programming 26, 2016 | 34 | 2016 |
| Execution profiling blueprints A Bergel, F Bañados, R Robbes, W Binder Software: Practice and Experience 42 (9), 1165-1192, 2012 | 26 | 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 | 14 | 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 |
| 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 |
Ronald GarciaUniversity of British ColumbiaVerified email at cs.ubc.ca
