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