Type-Based Resource-Guided Search

Slides

Date
Oct 16, 2020 12:00 PM — 1:00 PM
Event
PLunch, Carnegie Mellon University
Di Wang
Di Wang
Assistant Professor

My heart is in the Principles of Programming.