About ... This is Ende Jin. A Graduated Thesis Master Student from University of Waterloo, loving Type Theory, Programming Language and Category Theory. This page is powered by Jeykll and Hyde, together with The Table of Content Generator by Allejo