Zobrazeno 1 - 3
of 3
pro vyhledávání: '"Feng, Yangyue"'
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Feng, Yangyue, Luo, Zhaohui
Publikováno v:
EPTCS 53, 2011, pp. 30-46
Typed operational semantics is a method developed by H. Goguen to prove meta-theoretic properties of type systems. This paper studies the metatheory of a type system with dependent record types, using the approach of typed operational semantics. In p
Externí odkaz:
http://arxiv.org/abs/1103.3321
