Course webpage is located at <a href="http://lambda.cs.yale.edu/cs425/"> http://lambda.cs.yale.edu/cs425/ </a>.