Publication

A Mechanized Theory of Quoted Code Patterns