Brigitte Pientka: A Type-Theoretic Framework for Certified Meta-programming External Video-URL https://youtu.be/CBadEfdTJ2A Preview-Image Search Engine Exclude no
