0
(
ratings
)
1
students
Created by:
![Profile Photo](https://opencoursa.com/wp-content/uploads/avatars/809/62de1041c5027-bpfull.jpg)
Last updated:
August 31, 2022
Duration:
Unlimited Duration
FREE
This course includes:
Unlimited Duration
Badge on Completion
Certificate of completion
Unlimited Duration
Description
The topics covered in this course include:
- Languages and compilers to exploit multithreaded parallelism
- Implicit parallel programming using functional languages and their extensions
- Higher-order functions, non-strictness, and polymorphism
- Explicit parallel programming and nondeterminism
- The lambda calculus and its variants
- Term rewriting and operational semantics
- Compiling multithreaded code for symmetric multiprocessors and clusters
- Static analysis and compiler optimizations
This course is worth 4 Engineering Design Points.
Course Curriculum
- Expressing Parallel Computation Unlimited
- Implicitly Parallel Programming in pH: Functions and Types Unlimited
- A ×’ – calculus: A Basis for Functional Languages Unlimited
- A ×’ – calculus with Constants and Let – blocks Unlimited
- A ×’ – calculus with Let – blocks (continued) Unlimited
- The Hindley-Milner Type System Unlimited
- The Hindley-Milner Type System (Continued) Unlimited
- Lists and Algebraic Types Unlimited
- Desugaring List Comprehensions and Pattern Matching Unlimited
- Programming with Arrays Unlimited
- I- Structures and Open Lists Unlimited
- M- Structures: Programming with State and Nondeterminism Unlimited
- M- Structures Continued Unlimited
- λS: A Lambda Calculus with Side – effects Unlimited
- Using Monads for Input and Output Unlimited
- Using Monads to Structure Computation Unlimited
- Bluespec – 1: A language for hardware design, simulation and synthesis Unlimited
- Bluespec – 2: Bluespec Compilation Model & Introduction to programming Unlimited
- Bluespec – 3: The IP Lookup Problem Unlimited
- Bluespec – 4: Modules and Type Classes Unlimited
- Bluespec – 5: Programming Examples Unlimited
- Term Rewriting Systems Unlimited
- The Confluence of the ×’ – calculus Unlimited
About the instructor
5
5
Instructor Rating
1
Reviews
1520
Courses
1916
Students
![Profile Photo](https://opencoursa.com/wp-content/uploads/avatars/809/62de1041c5027-bpfull.jpg)
Massachusetts Institute of Technology