WebAssembly入门：如何用 MoonBit 实现一个简单的堆栈虚拟机
5.3基于约束求解的类型推导-张宏波的程序语言理论与实现公开课
语言设计与实现概论｜课时一 直播回放（上）
5.6level-based generalization的思路与实现-张宏波的程序语言理论与实现公开课
MiniMoonBit的类型系统｜程序语言设计与实现课时四
1.2语义、解释器和栈式虚拟机-张宏波的程序语言理论与实现公开课
2.4邱奇数和Y-combinator-张宏波的程序语言理论与实现公开课
编程语言内存管理技术概述｜程序语言设计与实现课时九（下）
5.2带类型的lambda演算-张宏波的程序语言理论与实现公开课
1.3 局部变量的语义与编译过程-张宏波的程序语言理论与实现公开课
Rescript快速入门课程-张宏波的程序语言理论与实现公开课
6.1闭包编译简介-张宏波的程序语言理论与实现公开课
2.3lambda演算的计算规则-张宏波的程序语言理论与实现公开课
现代编程思想公开课11.1｜从零开始的语法解析器
3.1课程回顾之丘奇数和变量替换-张宏波的程序语言理论与实现
2.1作业解析之如何处理编译过程中引入的临时变量-张宏波的程序语言理论与实现公开课
4.2编解码与虚拟机-张宏波的程序语言理论与实现公开课
现代编程思想公开课12｜手把手教你实现自动微分
【直播回放】深入了解Moonbit语言平台
2.2引入函数与闭包-张宏波的程序语言理论与实现公开课
