T

TAM

"Theory of Abstract Machines" sub-project.