Analyse von Schichtmodalen Typentheorien

Schichtmodalen Typentheorien ermöglichen Musterabgleich in der Metaprogrammierung.