Generic Zero-Cost Reuse for Dependent Types

Generic Zero-Cost Reuse for Dependent Types

Slides for the talk about the corresponding ICFP'18 paper:
https://dl.acm.org/citation.cfm?id=3236799

72003cf388f6f7f95b433de3df9ccd38?s=128

larrytheliquid

September 26, 2018
Tweet