使用多阶段编程生成优化的数据结构
Generating optimised data structures with multi-stage programming (2024-05-28, OCaml, 0KB, 下载0次)
类型和编程语言的源代码（Benjamin Pierce）
Source code from Types and Programming Languages (Benjamin Pierce) (2024-05-09, OCaml, 0KB, 下载0次)
使用多阶段编程生成优化的数据结构
Generating optimised data structures with multi-stage programming (2024-04-25, OCaml, 0KB, 下载0次)
编程语言的组件，全部在独立文件中实现
Components of programming languages, all implemented in self-contained files (2024-02-29, OCaml, 0KB, 下载0次)
使用函数编程语言实现图灵机
An implementation of THE Turing Machine using a functional programming language (2024-01-26, OCaml, 0KB, 下载0次)
用于面向服务器编程的OCaml异步调度器和monad。
OCaml asynchronous scheduler and monad for server-oriented programming. (2024-01-02, OCaml, 0KB, 下载0次)
小型函数式编程语言的Ocaml编译器，
Ocaml Compiler for a Mini Functional Programming Language, (2023-10-20, OCaml, 0KB, 下载0次)
《OCaml编程》一书的实践练习
Practical Exercise of the book Programming in OCaml (2012-12-24, OCaml, 0KB, 下载0次)
编程语言精要，带OCaml实现和Coq证明，
Essentials of Programming Languages, with OCaml implementations & Coq proofs, (2017-01-13, OCaml, 0KB, 下载0次)
支持局部方法的最小面向对象编程语言。，
A minimal object-oriented programming language supporting local methods., (2015-01-27, OCaml, 0KB, 下载0次)
《编程语言的概念》一书的工具，
tools for the book "Concepts of Programming Languages", (2021-04-20, OCaml, 0KB, 下载0次)
Myte编程语言的编译器和工具。，
Compiler and tooling for the Myte programming language., (2023-03-06, OCaml, 0KB, 下载0次)
L编程语言的编译器和工具，
Compiler and tools for the L programming language, (2020-09-09, OCaml, 0KB, 下载0次)
一种具有shell脚本功能的函数式编程语言，
A functional programming language with shell scripting capabilities, (2023-08-26, OCaml, 0KB, 下载0次)
一种基于函数的编程语言，具有内置记忆功能。，
A functionally based programming language with builtin memoization., (2023-08-13, OCaml, 0KB, 下载0次)
用于OCaml编程语言的Yices SMT解算器绑定，
Yices SMT solver s binding for the OCaml programming language, (2023-08-10, OCaml, 0KB, 下载0次)
在OCaml中实现编程语言Haskell的挑战，
Challenge to implement Programming Language Haskell in OCaml, (2011-06-10, OCaml, 0KB, 下载0次)
MPP：混合编程语言的元预处理器，
MPP: a meta preprocessor that blends programming languages, (2023-06-08, OCaml, 0KB, 下载0次)
编程讲稿（已放弃）
Programming Lecture Notes (abandoned) (2023-02-20, OCaml, 0KB, 下载0次)
用于编写编程语言和计算定义的Ott工具
The Ott tool for writing definitions of programming languages and calculi (2023-05-25, OCaml, 0KB, 下载0次)