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

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.