Application of SMT in a Meta-Compiler: A Logic DSL for Specifying Type Systems. - Romain Béguet; Raphaël Amiard (SMT, 2023)