YoVDO

Types that Change: The Extensible Type Design Pattern

Offered By: ACM SIGPLAN via YouTube

Tags

Algebraic Data Types Courses Compilers Courses Software Architecture Courses

Course Description

Overview

Save Big on Coursera Plus. 7,000+ courses at $160 off. Limited Time Only!
Explore a design pattern for extending algebraic data types (ADTs) in compiler architecture during this conference talk from FUNARCH'23. Dive into the challenges of managing multiple program representations in compiler chains and learn how to address code duplication issues. Discover a versatile approach using parametric types with argument type functions applied to ADT components. Examine practical applications of this pattern for implementing traceability, error recovery, and selective type modification. Gain insights from a real-world case study demonstrating the effectiveness of this extensible type design pattern in compiler development.

Syllabus

[FUNARCH'23] Types that Change: The Extensible Type Design Pattern


Taught by

ACM SIGPLAN

Related Courses

Compilers
Stanford University via Coursera
Compilers
Stanford University via edX
Computation Structures 2: Computer Architecture
Massachusetts Institute of Technology via edX
Compilers: Theory and Practice
Georgia Institute of Technology via Udacity
Architecture, Algorithms, and Protocols of a Quantum Computer and Quantum Internet
Delft University of Technology via edX