TiML: A Functional Language for Practical Complexity Analysis with Invariants

Slides

Date
Feb 9, 2018 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.