An open API service indexing awesome lists of open source software.

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.

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/)