Programming Languages: Difference between revisions
Jump to navigation
Jump to search
(Created page with "{{Proglan}} This section provides materials for a course on programming languages based on interpreters written in Haskell. * Syllabus and synopsis (Programming Languages)|...") |
No edit summary |
||
Line 2: | Line 2: | ||
This section provides materials for a course on programming languages based on interpreters written in Haskell. | This section provides materials for a course on programming languages based on interpreters written in Haskell. | ||
* [[ | * [[Syllabus and synopsis]]. | ||
* [[ | * [[Course outline]] with links to notes, problems sheets, etc. | ||
* Collected [[ | * Collected [[problem sheets]] and sample exam questions. | ||
* Information about the [[ | * Information about the [[laboratory exercises]] for the course. | ||
* A [[ | * A [[glossary]] of terms used in the course. | ||
* [[ | * [[Books and background reading]]. | ||
* A page of [[ | * A page of [[frequently asked questions]] about the course. | ||
Some random bits and pieces: | Some random bits and pieces: | ||
* A note about a construction that is [[ | * A note about a construction that is [[not a monad]]. | ||
* A note about [[Semantics of while loops | * A note about [[Semantics of while loops|the semantics of while loops]]. | ||
* A tutorial on [[ | * A tutorial on [[defunctionalization]]. | ||
* A note about [[ | * A note about [[styles of semantics]]. | ||
* A note about [[ | * A note about [[proving a monadic equivalence]]. | ||
* A note about [[Type of callcc | * A note about [[Type of callcc|the type of @@callcc@@]]. |
Revision as of 17:16, 6 October 2020
This section provides materials for a course on programming languages based on interpreters written in Haskell.
- Syllabus and synopsis.
- Course outline with links to notes, problems sheets, etc.
- Collected problem sheets and sample exam questions.
- Information about the laboratory exercises for the course.
- A glossary of terms used in the course.
- Books and background reading.
- A page of frequently asked questions about the course.
Some random bits and pieces:
- A note about a construction that is not a monad.
- A note about the semantics of while loops.
- A tutorial on defunctionalization.
- A note about styles of semantics.
- A note about proving a monadic equivalence.
- A note about the type of callcc.