Comments on: OPLSS 2012 http://existentialtype.wordpress.com/2012/08/09/oplss12/ Abstract types are existential types. Tue, 29 Jan 2013 15:10:50 +0000 hourly 1 http://wordpress.com/ By: Robert Harper http://existentialtype.wordpress.com/2012/08/09/oplss12/#comment-965 Fri, 10 Aug 2012 15:13:17 +0000 http://existentialtype.wordpress.com/?p=582#comment-965 Try jallen@cse.oregon.edu.

]]> By: tyrofed http://existentialtype.wordpress.com/2012/08/09/oplss12/#comment-964 Fri, 10 Aug 2012 14:58:46 +0000 http://existentialtype.wordpress.com/?p=582#comment-964 Hey Prof. Harper:

All 3 parts of Logical Relations Lecture 3 by Amal Ahmed are 404′s. Do you know who to notify about this? Thanks, I’m really looking forward to them.

]]> By: Robert Harper http://existentialtype.wordpress.com/2012/08/09/oplss12/#comment-962 Fri, 10 Aug 2012 10:11:30 +0000 http://existentialtype.wordpress.com/?p=582#comment-962 I have no control over the OPLSS web site. Perhaps ask Jim Allen, jallen@cse.oregon.edu, for help.

]]> By: summermute http://existentialtype.wordpress.com/2012/08/09/oplss12/#comment-959 Thu, 09 Aug 2012 23:56:45 +0000 http://existentialtype.wordpress.com/?p=582#comment-959 @Steven he is already doing this, no?

]]> By: mathnerd314159 http://existentialtype.wordpress.com/2012/08/09/oplss12/#comment-958 Thu, 09 Aug 2012 23:54:22 +0000 http://existentialtype.wordpress.com/?p=582#comment-958 Could you downconvert the videos? They seem to be at least 1GB each, which for me is several hours for each part.

]]> By: Steven Shaw http://existentialtype.wordpress.com/2012/08/09/oplss12/#comment-957 Thu, 09 Aug 2012 21:42:36 +0000 http://existentialtype.wordpress.com/?p=582#comment-957 Robert Harper, please go open and teach PLT to the world.

]]>