HKU PL Group
People
|
Courses
|
Seminars
Distributing Intersection and Union Types with Splits and Duality
Snow
Tue, Aug 10 2021, 10:00 AM • CB 313
Abstract
A practice talk for
ICFP
.