Sitemap
A list of all the posts and pages found on the site. For you robots out there, there is an XML version available for digesting as well.
Pages
Posts
portfolio
Portfolio item number 1
Published:
Short description of portfolio item number 1
Portfolio item number 2
Published:
Short description of portfolio item number 2
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.