Research implementations, tools, and software projects related to programming languages and type systems.
A compiler for a functional programming language with advanced type inference and dependent types. Includes type checker, code generator, and optimization passes.
A framework for specifying and verifying operational semantics of programming languages. Includes proof assistant integration.
A tool for analyzing and optimizing functional programs using type information. Implements whole-program analysis and specialization.
Implementation of a gradual type system for a dynamically-typed language. Includes type inference and runtime type checking.