Programming Languages: Difference between revisions
Jump to navigation
Jump to search
No edit summary |
(Redirected page to corner:Programming Languages) Tags: New redirect Reverted |
||
Line 1: | Line 1: | ||
#REDIRECT [[corner:Programming Languages]] | |||
{{Proglan}} | {{Proglan}} | ||
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. |
Revision as of 20:00, 7 March 2024
Redirect to:
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.