Nik Kolev on 31 Oct 2008 17:57:46 -0700


[Date Prev] [Date Next] [Thread Prev] [Thread Next] [Date Index] [Thread Index]

Re: Atypical Typing" talk

  • From: "Nik Kolev" <nkolev@gmail.com>
  • To: philly-lambda@googlegroups.com
  • Subject: Re: Atypical Typing" talk
  • Date: Fri, 31 Oct 2008 20:57:30 -0400
  • Authentication-results: mx.google.com; spf=pass (google.com: domain of nkolev@gmail.com designates 209.85.198.230 as permitted sender) smtp.mail=nkolev@gmail.com; dkim=pass (test mode) header.i=@gmail.com
  • Dkim-signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=googlegroups.com; s=beta; h=domainkey-signature:received:received:x-sender:x-apparently-to :received:received:received-spf:authentication-results:received :dkim-signature:domainkey-signature:received:received:message-id :date:from:to:subject:in-reply-to:mime-version:content-type :references:reply-to:sender:precedence:x-google-loop:mailing-list :list-id:list-post:list-help:list-unsubscribe:x-beenthere-env :x-beenthere; bh=QFRh1dS53pYZhi7RPpyNd+fvf4yRdQd07xWc/6F3Bxs=; b=AXgB2L0fgcV8nIf73VVeJ2LaGk+IWsxvq3hwu9D84XfvlyxEqJCDtOkkmwvC3Wg5y2 0bmjlcWbHkiG2UB4eKIzMDM85i3AiXAsokM+Lnq+sADLUeJmpPP64jZmZe4dzDUktvUw piblMgsDENIul9kdkeiDmyg3Fpkt8x0qKjjcs=
  • Dkim-signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=gamma; h=domainkey-signature:received:received:message-id:date:from:to :subject:in-reply-to:mime-version:content-type:references; bh=u0uR+At/sHqJIWpe3OhfCKtH5jgkofvxwNXhYXb3668=; b=jLAicfv1MYW7WLzgWKtpHj5y5upAqJRXQj3sHtP+FgAtPDl+SNw9B5T/7y5ARzL471 izKk8PemAh54GN2m2OKNyBZKXYg7kAEwerdwXqVl+TwYp1GQnU8A2MaiztBnZisUyKD9 31cXe8f0RLD7n7q77jAfvn6wxc+bSAxb7aZ0c=
  • Mailing-list: list philly-lambda@googlegroups.com; contact philly-lambda+owner@googlegroups.com
  • Reply-to: philly-lambda@googlegroups.com
  • Sender: philly-lambda@googlegroups.com
the slides are actually here:
http://perl.plover.com/yak/OOPSLA/samples/slide001.html

On Fri, Oct 31, 2008 at 2:23 PM, Mark Dominus <mjd-phillylambda@plover.com> wrote:


Last week I gave a keynote talk about the Haskell type system, and its
implications for Java, at the ACM OOPSLA conference.

Most of the stuff about the type system itself will be old hat to
people on this list, but it's possible that the talk slides will be of
some interest to the members of this list.  Philip Wadler said of the
talk that it "covers similar ground to my [2006] OOPSLA talk, but in
many ways Dominus makes a better job of it than I did."

The talk slides begin at:

       http://perl.plover.com/yak/OOPSLA/slide001.html


and my blog entry about the talk is at:

       http://blog.plover.com/talk/atypical-typing.html