https://adrbqt.ch/tags/sanitizers/ Recent content in Sanitizers on Adrien's Dashbook Hugo en-us Fri, 07 Jun 2024 00:00:00 +0000 https://adrbqt.ch/writings/type-confusions/type-confusions/ Fri, 07 Jun 2024 00:00:00 +0000 https://adrbqt.ch/writings/type-confusions/type-confusions/ <style> /* CSS for citations */ div.csl-bib-body {} div.csl-entry { clear: both; margin-bottom: 0em; } .hanging-indent div.csl-entry { margin-left: 2em; text-indent: -2em; } div.csl-left-margin { min-width: 2em; float: left; } div.csl-right-inline { margin-left: 2em; padding-left: 1em; } div.csl-indent { margin-left: 2em; } </style> <p><em>This paper was written under the supervision of Ph. D. candidate Nicolas Badoux and Prof. Doc. sc. ETH Mathias Payer from HexHive Lab at EPFL and is available in PDF format on <a href="https://github.com/abouquet27/typepp_report/blob/master/semester_project_report.pdf" target="_blank">this repository</a></em>.</p>