Prevent this user from interacting with your repositories and sending you notifications.
Learn more about blocking users.
You must be logged in to block users.
Contact GitHub support about this user’s behavior.
Learn more about reporting abuse.
Topics in Programming Languages: Denotational Semantics, Spring 2018 Course at Indiana University
Course Webpage for B522 Programming Language Foundations, Spring 2020, Indiana University
Formalizations of Gradually Typed Languages in Agda
Abstract binding trees (abstract syntax trees plus binders), as a library in Agda
Featherweight C, Executable Semantics: Parser, Type Checker, and Abstract Machine
Denotational semantics based on graph and filter models
Seeing something unexpected? Take a look at the
GitHub profile guide.