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

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

Previous pageContentsNext page