Jeremy G. Siek's repositories
B629-denotational
Topics in Programming Languages: Denotational Semantics, Spring 2018 Course at Indiana University
abstract-binding-trees
Abstract binding trees (abstract syntax trees plus binders), as a library in Agda
gradual-typing-in-agda
Formalizations of Gradually Typed Languages in Agda
B522-PL-Foundations
Course Webpage for B522 Programming Language Foundations, Spring 2020, Indiana University
featherweight-C
Featherweight C, Executable Semantics: Parser, Type Checker, and Abstract Machine
denotational_semantics
Denotational semantics based on graph and filter models
step-indexed-logic
A modal logic for reasoning about step-indexed logical relations
B505-algorithms-public
Public material for the course B505 Applies Algorithms at Indiana University
Compilers-HW
Compilers Homework repo
prototypes-in-python
Prototypes of programming languages written in Python.
agda-stdlib
The Agda standard library
agda-stdlib-aux
Stuff that is missing from the agda standard library.
gradual-typing-bib
A bibliography on Gradual Typing
ICFP_rehearsal_feedback
Temporary repository to collect feedback.
plfa.github.io
Introduction to programming language theory in Agda
wonks.github.io
PL Wonks website