Personal Information

VIEW MORE
Home > Scientific Research > Paper Publications

A Higher-Order Abstract Syntax Approach to Verified Transformations on Functional Programs

Date of Publication:2016-04-01 Hits:

Journal:Proceedings of the 25th European Symposium on Programming (ESOP/ETAPS)
Translation or Not:no
Date of Publication:2016-04-01
Indexed by:会议论文

Pre One:Schematic Polymorphism in the Abella Proof Assistant

Next One:A Proof-Theoretic Characterization of Independence in Type Theory

Recommend this article

 沪ICP备05052060 版权所有©上海交通大学

Click:  | The Last Update Time:..