Kast An experimental programming language NOT READY YET See more on the website Bibliography Pratt Parser Type Inference in Rust GhostCell - Separating Permissions from Data in Rust The Simple Essence of Algebraic Subtyping: Principal Type Inference with Subtyping Made Easy