Alexi Turcotte
Alexi Turcotte
Verified email at ccs.neu.edu
TitleCited byYear
The VM already knew that: Leveraging compile-time knowledge to optimize gradual typing
G Richards, E Arteca, A Turcotte
Proceedings of the ACM on Programming Languages 1 (OOPSLA), 55, 2017
162017
Towards a Type System for R
A Turcotte, J Vitek
Proceedings of the 14th Workshop on Implementation, Compilation …, 2019
2019
Token Swapping on Trees
A Biniaz, K Jain, A Lubiw, Z Masárová, T Miltzow, D Mondal, AM Naredla, ...
arXiv preprint arXiv:1903.06981, 2019
2019
Reasoning About Foreign Function Interfaces Without Modelling the Foreign Language
A Turcotte, E Arteca, G Richards
33rd European Conference on Object-Oriented Programming (ECOOP 2019), 2019
2019
Reasoning About Foreign Function Interfaces Without Modelling the Foreign Language (Artifact)
A Turcotte, E Arteca, G Richards
Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik, 2019
2019
Reasoning About Foreign Function Interfaces: Blame and Nondeterministic Formal Semantics
A Turcotte
University of Waterloo, 2018
2018
Integral Unit Bar-Visibility Graphs.
TC Biedl, A Biniaz, V Irvine, P Kindermann, AM Naredla, A Turcotte
CCCG, 230-246, 2018
2018
Partitioning Orthogonal Histograms into Rectangular Boxes
T Biedl, M Derka, V Irvine, A Lubiw, D Mondal, A Turcotte
Latin American Symposium on Theoretical Informatics, 146-160, 2018
2018
The system can't perform the operation now. Try again later.
Articles 1–8