TYPES 2013: International Workshop on Types for Proofs and Programs - researchr conference

researchr

You are not signed in
Sign in
Sign up

in ,

Nils Anders Danielsson, Bengt Nordström, editors, 18th International Workshop on Types for Proofs and Programs, TYPES 2011, September 8-11, 2011, Bergen, Norway. Volume 19 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2013.

runs on WebDSL