Another two practice talks for SPLASH 2022

Yaozhu, Xu Xue

Fri, Nov 25 2022, 10:10 AM • CB308

Compositional Embeddings of Domain-Specific Languages (OOPSLA 2022)

https://2022.splashcon.org/details/splash-2022-oopsla/31/Compositional-Embeddings-of-Domain-Specific-Languages

Applicative Intersection Types (APLAS 2022)

https://conf.researchr.org/details/aplas-2022/aplas-2022-papers/13/Applicative-Intersection-Types