PL Professors List

Typed embedding of PLT Redex in Haskell

The Brown Benchmark for Table Types (B2T2)

A programming language in Turkish where grammatical case and mood are part of the type system.

An engine for displaying slips, the next-gen version of slides

A dependent language for type-safe extraction.

Typed effects API for OxCaml

The Lean Computer Science Library (CSLib)

A compiler, testing bed, and standard library for the Choral programming language.

A Tufte-inspired LaTeX class for producing handouts, papers, and books

A simple ML featuring constraint-based type inference with suspended constraints and overloading

Semantic Type Soundness in Lean 4

Lean 4 mechanisation of Modal Effect Types.

Experimental compiler for capybara.

Is my blue your blue?

Composable Effect Handling for Programming LLM-Integrated Scripts

🦖 Implementations of various type inference algorithms. Online playground is at https://zoo.cuichen.cc/

An easy-to-learn/use static analysis framework for Java and Android

A LaTeX Class for Informatics theses at The University of Edinburgh

Functional choreographic programming in Haskell

Context-Generic Programming: modular programming paradigm for Rust

Lightweight Testing of Persistent Amortized Time Complexity in the Credit Monad

OCaml - Oxidized!

A monadic library for symbolic evaluation