论文信息 - New Results - Mechanization of type systems and axiomatic and operational semantics - 字舞流文

New Results - Mechanization of type systems and axiomatic and operational semantics

Andrew W. Appel | Arthur Charguéraud | Hervé Grall | Stephanie Weirich | Benjamin C. Pierce | Keiko Nakata | Sandrine Blazy | Randy Pollack | Brian E. Aydemir | Xavier Leroy | B. Pierce | A. Appel | Stephanie Weirich | X. Leroy | Sandrine Blazy | R. Pollack | Keiko Nakata | A. Charguéraud | Hervé Grall