Computer Science and Engineering Seminar in mixed mode (F2F and Zoom online) - "Principal Type Inference for Object-Oriented Programming in a Boolean Algebra of Types"

Speaker:         Dr. Lionel Parreaux
                        Assistant Professor
                        Department of Computer Science and Engineering
                        HKUST

Zoom link:      https://hkust.zoom.us/j/95532049042?pwd=UjkvVG9oZEhqZ1A5M2NJbWplelRJQT09