"Types for Secure Pattern Matching with Local Knowledge in Universal ..."

Thomas T. Hildebrandt, Hugo A. López (2009)
a service of Schloss Dagstuhl - Leibniz Center for Informatics