MPhil in Computer Science & Engg - Using Data Flows For Better Type Error Messages In Constraint-Based Type Inference

Name: MPhil in Computer Science & Engg - Using Data Flows For Better Type Error Messages In Constraint-Based Type Inference
Start: 2024-01-09
End: 2024-01-09

9 January 2024

4:30pm - 7:30pm

Room 4472 (Lifts 25-26), 4/F Academic Building / https://hkust.zoom.us/j/3485958127, HKUST

Event Format

Thesis Defense

Candidate

BHANUKA, Ishan

Language

English