Dependently Typed Multi-Stage Programming, Revisited

POPL 2020

Dependently Typed Multi-Stage Programming, Revisited

Sep 17, 2020
|
27 views
Details
Presenter: Atsushi Igarashi Presented at PEPM'20, colocated with POPL 2020.

Comments
loading...