上海交大研究生院主页平台管理系统 Wang Yuting--Home-- Schematic Polymorphism in the Abella Proof Assistant

Home > Scientific Research > Paper Publications

Schematic Polymorphism in the Abella Proof Assistant

Date of Publication:2018-09-01 Hits:

Journal:Proceedings of the 20th International Symposium on Principles and Practice of Declarative Programming (PPDP)
Translation or Not:no
Date of Publication:2018-09-01
Indexed by:会议论文

Pre One:An Abstract Stack Based Approach to Verified Compositional Compilation to Machine Code

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

Recommend this article

Home

Scientific Research

Teaching Research

Awards and Honours

Admission Information

Student Information

My Album

Blog

Personal Information

Schematic Polymorphism in the Abella Proof Assistant