Lionel Parreaux. Type-Safe Metaprogramming and Compilation Techniques For Designing Efficient Systems in High-Level Languages. PhD thesis, EPFL, Switzerland, 2020. [doi]
No references recorded for this publication.
No citations of this publication recorded.