Yon Fernández de Retana
According to our database1,
Yon Fernández de Retana
authored at least 3 papers
between 2016 and 2018.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2018
Vers la compilation vérifiée de Sea of Nodes : propriétés et raisonnement sémantiques. (Toward verified compilation of Sea of Nodes : semantic properties and reasoning).
PhD thesis, 2018
Proceedings of the 27th International Conference on Compiler Construction, 2018
2016
Proceedings of the 25th International Conference on Compiler Construction, 2016