Fwd: [Programming] Dana Scott May 13

[Edward Kmett]

I'm passing this notice along as it is probably of general interest to the more formally minded among us. =)

Dana Scott has been more or less the backbone of the programming language semantics community since the 50s.

-Edward

---------- Forwarded message ----------
From: Greg Morrisett <gr...@eecs.harvard.edu>
Date: Mon, Mar 25, 2013 at 11:22 AM
Subject: [Programming] Dana Scott May 13
To: "progr...@eecs.harvard.edu" <progr...@eecs.harvard.edu>


Hi Folks,

Dana Scott will be giving a special seminar on May 13 at 4pm
which should interest a number of you:

Speaker: Dana S. Scott (Prof. Emeritus CMU, Visiting Scholar UC Berkeley)
Title: A Stochastic Lambda-Calculus

Abstract: Many authors have suggested ways of adding random elements and probability assessments to versions of Church's Lambda-Calculus.  When asked recently about models, the speaker realized that the so-called Graph Model based on enumeration operators acting on the powerset of the integers could easily be expanded to a Boolean-valued powerset interpretation using standard measure algebras.  The talk will report on a proposal of how a continuation-passing semantics can be used for modeling a branching combinator using random coin tossing.
_______________________________________________
Programming mailing list
Progr...@eecs.harvard.edu
https://lists.eecs.harvard.edu/mailman/listinfo/programming