Phil Wadler to talk in San Francisco next week
January 6th, 2008 by Bryan O'Sullivan
POPL 08 takes place next week, so San Francisco will be flooded with an army of burly and menacing programming language researchers and type theorists. Kids, don’t say you haven’t been warned.
On Wednesday evening, January 9, Phil Wadler will be repeating for the public his talk “Well-typed programs can’t be blamed”, based on joint work with Robby Findler. Here’s the abstract from their eponymous paper.
We show how contracts with blame fit naturally with recent work on hybrid types and gradual types. Unlike hybrid types or gradual types, we require casts in the source code, in order to indicate where type errors may occur. Two (perhaps surprising) aspects of our approach are that refined types can provide useful static guarantees even in the absence of a theorem prover, and that type dynamic should not be regarded as a supertype of all other types. We factor the well-known notion of subtyping into new notions of positive and negative subtyping, and use these to characterise where positive and negative blame may arise. Our approach sharpens and clarifies some recent results in the literature.
The talk has been organised by BayFP (join up!), and will take place at 7:30pm in the Stanford Room of the Stanford Court Hotel, at 905 California Street.
If you’re a researcher attending POPL, you ought to come to Phil’s talk even if you’ve already seen it. It will be a great, and rare, opportunity to meet Silicon Valley hackers who use functional languages in startups and established companies.
The meeting has been moved to the Nob Hill Room (I’ll try to put up signs). Thanks for the mention.
I was born on January 18, 1974 I’m a female I’m only a 34 yrs old I speak english I love san francisco too much
my cell phone 709 861 7279
my home address P0 Box 355
Port Au Choix, NFLD Canada
A0K 4C0
Elizabeth Gould and my mother made me cry
they treat me bad
they tell lies all the times
my mother rape larlene foote
my mother and teri lyn gould only them two are act like the 2 yrs olds
they treat cathy gould and larlene foote and me bad
you tell every body of san francisco about us