types
Two big questions: 1 What can we say about a term without running it? (Static Analysis) 2 Can we tell a term will get stuck without running it? (Types) A type is a means of classifying terms. We will want these to “play well” with the reduction relation. J. Carette (McMaster University) Types Fall 2023 […]