https://github.com/shigma/dppl-execises
Exercises for my DDPL (Design Principles of Programming Languages) course.
https://github.com/shigma/dppl-execises
Last synced: 2 months ago
JSON representation
Exercises for my DDPL (Design Principles of Programming Languages) course.
- Host: GitHub
- URL: https://github.com/shigma/dppl-execises
- Owner: shigma
- Created: 2023-04-02T17:45:43.000Z (about 2 years ago)
- Default Branch: main
- Last Pushed: 2023-06-08T10:14:40.000Z (about 2 years ago)
- Last Synced: 2024-10-05T11:41:30.589Z (8 months ago)
- Language: OCaml
- Size: 203 KB
- Stars: 1
- Watchers: 1
- Forks: 0
- Open Issues: 0
-
Metadata Files:
- Readme: readme.md
Awesome Lists containing this project
README
# DPPL Exercises
Exercises for my DDPL (Design Principles of Programming Languages) course.
- Textbook: Types and Programming Languages, Benjamin C. Pierce
- Course resources:## Contents
- [big-step](./arith.big-step/)
- [simple-use](./arith.simple-use/)
- [size](./arith.size/)
- [nameless](./fullsimple.nameless/)
- [let](./fullsimple.let/)
- [match](./fullsimple.match/)
- [natlist](./fullsimple.natlist/)
- [rec-fix](./fullsimple.rec-fix/)
- [rec-no-fix](./fullref.rec-no-fix/)
- [subtype](./fullref.subtype/)
- [fold](./fullisorec.fold/)
- [dep](./fullomega.dep/)
- [infer](./fullfomsub.infer/)