3 open source projects by jsiek

Topics in Programming Languages: Denotational Semantics, Spring 2018 Course at Indiana University

Formalizations of Gradually Typed Languages in Agda

Abstract binding trees (abstract syntax trees plus binders), as a library in Agda