Exploring Dependently Typed Multi Stage Programming Revisited
Let's dive into the details surrounding Dependently Typed Multi Stage Programming Revisited.
- Until recently,
- Calculating
- Presenter: Peter Selinger Presented at PLanQC 2020, located at POPL 2020.
- Oregon
- A talk at the Workshop on
In-Depth Information on Dependently Typed Multi Stage Programming Revisited
Presenter: Atsushi Igarashi Presented at PEPM'20, colocated with POPL 2020. PhD at EPFL in A session on http://www.codemesh.io/ Verifying Stateful and Side-effecting Programs using
TYPES
That wraps up our extensive overview of Dependently Typed Multi Stage Programming Revisited.