Events

Filters
Export this event to calendar
iCal
RSS
RSS
Close X

Filter by:

Limit to events where the title matches:
Date range
Limit to events where the first date of the event:
Limit to events where the type is one or more of:
Limit to events tagged with one or more of:
Limit to events where the audience is one or more of:
Monday, April 3, 2023 3:00 pm - 3:00 pm EDT (GMT -04:00)

MASc Seminar Notice: "UniFlow: A CFG-based Framework for Pluggable Type Checking andType Inference" by Zhiping Cai

Name: Zhiping Cai

Date: Monday April 3rd 2023

Time:  3:00pm - 4:00pm (EST)

Location: EIT 3145

Supervisor:ÌýProf. Werner Dietl

Attending faculty members: Prof. Arie Gurfinkel, and Prof. Mahesh Tripunitara

Title: UniFlow: A CFG-based Framework for Pluggable Type Checking andType Inference

Abstract: