Mathematical Logic Foundations

Research Frontiers in Gradual Type Theory and Partial Typing

Studies type systems allowing mixture of typed and untyped code, analyzing migration between static and dynamic typing paradigms.

All Mathematical Logic & Foundations PhD categories