Thomas Rubiano. Implicit Computational Complexity and Compilers. (Complexité Implicite et compilateurs). PhD thesis, Sorbonne Paris Cité, France, 2017. [doi]
@phdthesis{hal-12853, title = {Implicit Computational Complexity and Compilers. (Complexité Implicite et compilateurs)}, author = {Thomas Rubiano}, year = {2017}, url = {https://tel.archives-ouvertes.fr/tel-02362912}, researchr = {https://researchr.org/publication/hal-12853}, cites = {0}, citedby = {0}, school = {Sorbonne Paris Cité, France}, }