Posts by Collection

portfolio

publications

Type- and Control-Flow Analysis for System F-omega

Published in Master's Thesis. Rochester Institute of Technology, 2023

This paper is about extend type- and control-flow analysis to System F-omega.

Recommended citation: Dongyu, Wu. (2023). "Type- and Control-Flow Analysis for System F-omega." Master's Thesis, Rochester Institute of Tecnology. 1(1).
Download Paper

talks

teaching

Teaching experience 1

Undergraduate course, University 1, Department, 2014

This is a description of a teaching experience. You can use markdown like any other post.

Teaching experience 2

Workshop, University 1, Department, 2015

This is a description of a teaching experience. You can use markdown like any other post.