BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Drupal iCal API//EN
X-WR-CALNAME:Events items teaser
X-WR-TIMEZONE:America/Toronto
BEGIN:VTIMEZONE
TZID:America/Toronto
X-LIC-LOCATION:America/Toronto
BEGIN:DAYLIGHT
TZNAME:EDT
TZOFFSETFROM:-0500
TZOFFSETTO:-0400
DTSTART:20230312T070000
END:DAYLIGHT
BEGIN:STANDARD
TZNAME:EST
TZOFFSETFROM:-0400
TZOFFSETTO:-0500
DTSTART:20231105T060000
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
UID:69dcd928aa558
DTSTART;TZID=America/Toronto:20240207T140000
SEQUENCE:0
TRANSP:TRANSPARENT
DTEND;TZID=America/Toronto:20240207T150000
URL:https://uwaterloo.ca/computer-science/events/phd-seminar-programming-la
 nguages-effects-capabilities-boxes-from-scope-based-reasoning-to-type-base
 d-reasoning-and-back
LOCATION:DC - William G. Davis Computer Research Centre 200 University Aven
 ue West DC 3317 Waterloo ON N2L 3G1 Canada
SUMMARY:PhD Seminar • Programming Languages • Effects\, Capabilities\, 
 and\nBoxes: From Scope-based Reasoning to Type-based Reasoning and Back
CLASS:PUBLIC
DESCRIPTION:PLEASE NOTE: THIS PHD SEMINAR WILL TAKE PLACE IN DC 3317.\n\nED
 WARD LEE\, PHD CANDIDATE\n_David R. Cheriton School of Computer Science_\n
 \nSUPERVISOR: Professor Ondřej Lhoták\n\nReasoning about the use of exte
 rnal resources is an important aspect\nof many practical applications. Eff
 ect systems enable tracking such\ninformation in types\, but at the cost o
 f complicating signatures of\ncommon functions. Capabilities coupled with 
 escape analysis offer\nsafety and natural signatures\, but are often overl
 y coarse grained and\nrestrictive.
DTSTAMP:20260413T115312Z
END:VEVENT
END:VCALENDAR