comp308
所属分类：编程语言基础
开发工具：Racket
文件大小：0KB
下载次数：0
上传日期：2023-08-01 04:15:12
上 传 者：
sh-1993
说明： 编程语言原理（基于PLAI），
(Principles of Programming Languages (based on PLAI),)
文件列表:
LICENSE (7048, 2023-09-18)
Makefile (967, 2023-09-18)
pictures/ (0, 2023-09-18)
pictures/interp-with-bool.pl (3080, 2023-09-18)
pictures/interp.pl (1227, 2023-09-18)
pictures/microkanren.rkt (7661, 2023-09-18)
pictures/oops-part1.rkt (4894, 2023-09-18)
pictures/oops-part2.rkt (8672, 2023-09-18)
pictures/oops-part3.rkt (7579, 2023-09-18)
pictures/picture-interp-v1.rkt (5113, 2023-09-18)
pictures/picture-interp-v2-env.rkt (8486, 2023-09-18)
pictures/picture-io.rkt (8565, 2023-09-18)
pictures/picture-lib.rkt (9853, 2023-09-18)
pictures/picture-render.rkt (3656, 2023-09-18)
pictures/quiz-explanation-factorial-with-ret.rkt (1541, 2023-09-18)
pictures/screencast/ (0, 2023-09-18)
pictures/screencast/intro.pl (857, 2023-09-18)
pictures/screencast/microkanren-screencast.rkt (3121, 2023-09-18)
pictures/stack-machine-env1.rkt (6210, 2023-09-18)
pictures/stack-machine-env2.rkt (3629, 2023-09-18)
pictures/stack-machine-env3-mutations.rkt (5313, 2023-09-18)
pictures/stack-machine-env4-control.rkt (9011, 2023-09-18)
pictures/typecheck.pl (1403, 2023-09-18)
pictures/typed/ (0, 2023-09-18)
pictures/typed/color.rkt (2315, 2023-09-18)
pictures/typed/compiler.rkt (11505, 2023-09-18)
pictures/typed/microkanren.rkt (4298, 2023-09-18)
pictures/typed/picbase.h (1072, 2023-09-18)
pictures/typed/picture-io.rkt (9200, 2023-09-18)
pictures/typed/picture-lib.rkt (10478, 2023-09-18)
pictures/typed/picture-render.rkt (3118, 2023-09-18)
pictures/typeinfer.pl (2816, 2023-09-18)
source/ (0, 2023-09-18)
source/appsem.rst (27240, 2023-09-18)
source/church.rst (22645, 2023-09-18)
source/conf.py (3153, 2023-09-18)
... ...
# Comp308: Principles of Programming Languages
This course introduces students to common principles underlying various
programming langauges through the process of constructing an interpreter for a
language incrementally. It uses the [PLAI second edition][] as the base
material and is adapted to suit Krea University students and timeline.
It is taught using [Racket][] `#lang plai-typed` as well.
Students wished to use images as an alternative to working with numbers.
Hence the course plan changed a bit to reflect that. The current
course notes can be accessed at https://kreauniv.github.io/comp308/ .
[PLAI second edition]: https://cs.brown.edu/courses/cs173/2012/book/
[Racket]: https://www.racket-lang.org
近期下载者：
相关文件：
收藏者：