15312 Foundations Of Programming Languages

Here are a few different things that the query could mean. It could be referring to:

-- Example usage: expr = Lam "x" (Var "x") inferredType = inferType expr main = print inferredType -- Output: Forall "a" (Mono (TV "a" -> TV "a")) 15312 foundations of programming languages