SJTU|CS 2612，编程语言和编译器-最终项目
SJTU | CS 2612, Programming Languages and Compilers - Final Project (2024-01-04, Coq, 0KB, 下载0次)
存储库，包括编程语言形式基础模块的练习，
Repository including exercises for the Formal Foundations for Programming Languages module, (2023-09-23, Coq, 0KB, 下载0次)
Coq中函数编程的全功能类型类层次结构，
A full-featured hierarchy of typeclasses for functional programming in Coq, (2017-02-06, Coq, 0KB, 下载0次)
Coq中概率编程语言上下文等价的逻辑关系，
A logical relation for contextual equivalence of a probabilistic programming language in Coq, (2017-06-27, Coq, 0KB, 下载0次)
使用TLC！的神圣类型和编程语言的本地无名实现！，
Locally nameless implementation of the Holy Types and Programming Languages using TLC!, (2022-09-09, Coq, 0KB, 下载0次)
Habanero编程模型的Coq形式化。，
Coq formalization of the Habanero programming model., (2018-05-07, Coq, 0KB, 下载0次)
SNU编程工具的Coq编程语言IDE子模块（2D模式），
The Coq Programming language IDE submodule for SNU Programming Tools (2D Mode), (2022-11-02, Coq, 0KB, 下载0次)
使用类别理论作为用例在Idris、Coq、Agda和FStar中使用依赖类型编程的教程。，
Tutorial on programming with Dependent Types in Idris, Coq, Agda and FStar using Category Theory as use case., (2018-11-22, Coq, 0KB, 下载0次)
Coq.中的Arity泛型数据类型泛型或双泛型编程。，
Arity-generic datatype-generic, or doubly-generic, programming in Coq., (2021-05-08, Coq, 0KB, 下载0次)
STLC中“通用”编程的“概念参数”的Coq形式化，
Coq formalization of "concept parameters" for "generic" programming in STLC, (2017-06-19, Coq, 0KB, 下载0次)
我在Coq语言和认证编程的道路上所做的一切。，
WHAT I have done on the road to Coq language and certified programming., (2016-09-10, Coq, 0KB, 下载0次)
Coq代码附带了几篇关于函数编程语言语义的文章，
Coq code accompanying several articles on semantics of functional programming languages, (2018-10-15, Coq, 0KB, 下载0次)
我们反对竞争性编程中的草率论点，并提高严格标准，
We combat sloppy arguments in competitive programming and raise the standard of rigor, (2023-09-12, Coq, 0KB, 下载0次)
函数编程、构造逻辑和Coq证明助手的基本思想。，
Basic ideas of functional programming, constructive logic, and the Coq proof assistant., (2021-07-04, Coq, 0KB, 下载0次)
一种有助于正式验证并发程序正确性的系统，集成到名为Imp.的玩具编程语言中。，
a system that helps formally verify the correctness of concurrent programs, integrated into a toy programming language called Imp., (2016-12-14, Coq, 0KB, 下载0次)
关于通过SSReflect.在Coq中证明编程的短期课程的讲稿。，
Lecture notes for a short course on proving programming in Coq via SSReflect., (2021-06-24, Coq, 0KB, 下载0次)
用于验证低级编程的在制品语言和编译器，
A work-in-progress language and compiler for verified low-level programming, (2023-07-22, Coq, 0KB, 下载0次)
智能法律合同编程语言
Programming Language for Smart Legal Contracts (2023-04-09, Coq, 0KB, 下载0次)
该包使用函数编程风格提供了抽象代数的Coq形式化。模块包括...
This package provides a Coq formalization of abstract algebra using a functional programming style. The modules contained within the package span monoids, groups, rings, and fields and provides both axiom definitions for these structures and proofs of foundational results. The current package contains over 800 definitions and proofs. (2019-02-28, Coq, 0KB, 下载0次)
Coq中函数编程的类型类、数据类型和定理。
Typeclasses, datatypes and theorems for functional programming in Coq. (2019-08-05, Coq, 18KB, 下载0次)