Linked e-resources
Details
Table of Contents
Memoized Flat Closures for CPS
Maintaining Separation of Concerns Through Task-Oriented Software Development
Typed Relational Conversion
A Multi-tier Version of Elm and its Time-Traveling Debugger
Concurrent System Programming with Effect Handlers
Automatically Introducing Tail Recursion in CakeML
The CakeML Compiler Explorer: Tracking Intermediate Representations in a Verified Compiler.
Maintaining Separation of Concerns Through Task-Oriented Software Development
Typed Relational Conversion
A Multi-tier Version of Elm and its Time-Traveling Debugger
Concurrent System Programming with Effect Handlers
Automatically Introducing Tail Recursion in CakeML
The CakeML Compiler Explorer: Tracking Intermediate Representations in a Verified Compiler.