Link to the PLT course home page:
<a href="http:&#x2F;&#x2F;www.cs.columbia.edu&#x2F;~sedwards&#x2F;classes&#x2F;2016&#x2F;4115-spring&#x2F;" rel="nofollow">http:&#x2F;&#x2F;www.cs.columbia.edu&#x2F;~sedwards&#x2F;classes&#x2F;2016&#x2F;4115-sprin...</a>