SE547: Background: Operational Semantics and Type Systems [1/23]

References

David Walker's notes on Semantics for Safe Programming Languages

Bob Harper's book on Programming Languages

Andy Pitts' course on Operational Semantics

Andy Pitts' course on Types