TPL-2023
所属分类：虚拟化
开发工具：TeX
文件大小：0KB
下载次数：0
上传日期：2023-08-04 15:53:06
上 传 者：
sh-1993
说明： “类型和编程语言”一书的“编程语言虚拟会议”会议存储库，
(Repository for "Programming Languages Virtual Meetup" meetings of the "Types and Programming Languages" book,)
文件列表:
LICENSE (7048, 2023-08-09)
ch3/ (0, 2023-08-09)
ch3/lesley_lai/ (0, 2023-08-09)
ch3/lesley_lai/lesley_lai.pdf (103506, 2023-08-09)
ch3/lesley_lai/lesley_lai.tex (4620, 2023-08-09)
ch3/ryan_sullivant_solutions/ (0, 2023-08-09)
ch3/ryan_sullivant_solutions/ch3-sols.pdf (160488, 2023-08-09)
ch3/ryan_sullivant_solutions/ch3-sols.tex (20451, 2023-08-09)
ch3/ryan_sullivant_solutions/preamble.tex (1282, 2023-08-09)
ch3/starter.tex (1418, 2023-08-09)
ch4/ (0, 2023-08-09)
ch4/lesley_lai/ (0, 2023-08-09)
ch4/lesley_lai/Arithmetic.opam (700, 2023-08-09)
ch4/lesley_lai/bin/ (0, 2023-08-09)
ch4/lesley_lai/bin/dune (76, 2023-08-09)
ch4/lesley_lai/bin/main.ml (39, 2023-08-09)
ch4/lesley_lai/dune-project (493, 2023-08-09)
ch4/lesley_lai/lib/ (0, 2023-08-09)
ch4/lesley_lai/lib/dune (47, 2023-08-09)
ch4/lesley_lai/test/ (0, 2023-08-09)
ch4/lesley_lai/test/Arithmetic.ml (0, 2023-08-09)
ch4/lesley_lai/test/dune (64, 2023-08-09)
ch5/ (0, 2023-08-09)
ch5/lesley_lai_solution/ (0, 2023-08-09)
ch5/lesley_lai_solution/lesley_lai.pdf (70811, 2023-08-09)
ch5/lesley_lai_solution/lesley_lai.tex (4400, 2023-08-09)
ch5/starter.tex (3059, 2023-08-09)
# TPL-2023
This is the material that corresponds to the [Programming Languages Virtual Meetup](https://www.meetup.com/Programming-Languages-Toronto-Meetup/) meetings that covered the **Types and Programming Languages** book.
- **Textbook:** [Types and Programming Languages](https://www.cis.upenn.edu/~bcpierce/tapl/)
- **Our Meetup:** [Programming Languages Virtual Meetup](https://www.meetup.com/programming-languages-toronto-meetup/)
- **Recordings:** [Youtube Playlist](https://www.youtube.com/playlist?list=PLlw1FcLpWd42E0AMWz9fY-oXa_m3DA3SW)
近期下载者：
相关文件：
收藏者：