Jeremy G. Siek

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

jsiek

Arete is an experimental programming language.

jsiek

Course Webpage for B522 Programming Language Foundations, Spring 2020, Indiana University

jsiek

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

jsiek

Denotational semantics based on graph and filter models

jsiek

Featherweight C, Executable Semantics: Parser, Type Checker, and Abstract Machine

jsiek

Formalizations of Gradually Typed Languages in Agda

jsiek