meetings

March 12 Meeting: Talk postponed, meet for pizza instead

Sorry for the last minute notice, but tonight’s talk must be postponed.

In its place, let’s meet for pizza at 7:30 at Amici’s, 216 King St. @ 3rd street (we met there in September).


View Larger Map

I apologize for the inconvenience of this change coming with just a few hours notice.

meetings

Comments (0)

Permalink

March 12th: Jake Donham on Twelf (UPDATED)

UPDATE: This meeting has been relocated and the talk postponed. We’ll meet for pizza instead at Amici’s, 216 King St. @ 3rd street in San Francisco.


Thanks to the nice folks at Twitter, we have a home for our next Bay FP meeting on Wednesday March 12th @
7:30pm.  Jake Donham will be speaking about Twelf:

Twelf is a proof assistant and programming language based on typed logic programming.

It is full of interesting and beautiful ideas. I’m going to use Twelf as a jumping-off point to talk about some of those ideas: judgments and inference rules; proof search and logic programming; proofs as programs; dependent types; higher-order abstract syntax. I won’t go too deep into the technicalities of Twelf but I’ll try to explain why Twelf is interesting in comparison with other proof assistants like Coq.

Twitter: 164 South Park St, San Francisco, CA 94107


View Larger Map

It’s a building with a dark green door.  People can just come on in and walk to their right to a large conference room.

meetings

Comments (0)

Permalink

Video and Slides: Burak Emir’s Talk

Here are the video and slides from the talk on February 13, 2008. Burak’s homepage has a bunch of the papers he referred to at the end of his talk. Many thanks to our hosts at Twitter.


Creative Commons License
This work is licensed under a
Creative Commons Attribution-Share Alike 3.0 Unported License.Please link to this page directly when passing this on rather than the video or slides, as they may need to be moved in the future.

meetings
slides
video

Comments (0)

Permalink

Feb 13th Meeting Location: Twitter HQ

Many thanks to Alex Payne at Twitter for arranging to host this month’s meeting. Twitter’s address is:

164 South Park St
San Francisco, CA 94107

Alex says:

It’s a building with a dark green door. People can just come on in and walk to their right to a large conference room.

We’ll start at 7:30pm. You can find more details about the talk in the previous post.

Hope to see you Wednesday.

meetings

Comments (0)

Permalink

Feb 13, 2008: Burak Emir on “Extraction and Pure Scala”

The next meeting of BayFP is Wednesday, February 13th. We’re still ironing out the location details, but I wanted to send out the topic and dateThe meeting will be hosted at Twitter, 164 South Park St., San Francisco, CA. Burak Emir will be our speaker.

“Extraction and Pure Scala — from object-oriented pattern matching back to functional programming”

Extractions are a way to harness the conciseness of pattern matching known from functional programming with the versatility of object-oriented progamming. They are user-definable patterns which can match and deconstruct any data into subcomponents, without imposing constraints on the way data is defined. The flexibility comes at a price though, since user-defined code cannot be optimized as well as hardwired pattern matching logic.

In this talk, I will describe how extractions are used in Scala programs and how they relate to case classes, followed by just enough theory to see what kind of optimizations is done. These optimizations
have been proven correct (which does not happen too often in compiler construction) using a purely functional calculus that models Scala, as in fact extraction is a purely functional construct. At the end of this talk, I will make the connection to generic pattern matching and why I think it would be a good idea to start a purely functional dialect of Scala (Pure Scala).

Burak added unicode support to Scala, wrote Scala’s XML libraries, added XML expressions to the Scala compiler and wrote and maintained the Scala bugtracking system (before it was replaced with trac). He wrote his thesis on “Object-Oriented Pattern Matching” at the Programming Methods Lab at EPFL, under supervision of Martin Odersky, and now works for Google.

meetings

Comments (0)

Permalink

Well-typed programs can’t be blamed — video and slides

The slides and video from Philip Wadler’s talk at the January 9th, 2008 BayFP meeting are available.




Creative Commons License
This work is licensed under a
Creative Commons Attribution-Noncommercial-Share Alike 3.0 United States License.
Please link to this page directly when passing this on rather than the video or slides, as they may need to be moved in the future.

meetings
slides
video

Comments (2)

Permalink

Yariv Sadan on ErlyWeb — video and slides

Yariv Sadan wrapped up our series on web frameworks with a presentation on ErlyWeb at the December 6th, 2007, BayFP meeting. The meeting was graciously hosted at Berkeley — many thanks to Leo Meyerovich for arranging the room for us. Leo posted his highlights of the presentation, or you can watch the presentation yourself and view Yariv’s slides. Sorry it took so long to get this posted.




Creative Commons License
This work is licensed under a
Creative Commons Attribution-Noncommercial-Share Alike 3.0 United States License.
Please link to this page directly when passing this on rather than the video or slides, as they may need to be moved in the future.

meetings
slides
video

Comments (2)

Permalink

Jan 9, 2008 Meeting: Philip Wadler on “Well-typed programs can’t be blamed”

Philip Wadler will be in town for POPL ’08 so we’ve asked him to reprise his ICFP ’07 talk “Well-typed programs can’t be blamed”. He’s been good enough to set us up with a proper room in the ACM conference hotel (it’ll still be free). The meeting will take place in the Nob Hill Room, The Stanford Court Hotel, San Francisco at 7:30pm Wednesday, January 9th, 2008.

Philip is a fantastically smart guy who has made numerous contributions to FP, so please pass this along to other lists/groups as you see fit (we’ve also got a giant room, so a bigger turnout would be nice).

Unlike previous meetings, we’ll skip food service for this one just to keep the hotel happy, so please eat before. (We may go out to a bar for a drink afterward if there’s interest.)

meetings

Comments (0)

Permalink

Reminder and RSVP for ErlyWeb Talk at BayFP

The next BayFP meeting is this Thursday, December 6, 2007 at 7:30pm. We’ll be at Berkeley this month and Yariv Sadan will present ErlyWeb. Details and directions are in the previous post.

If you think you may attend, please RSVP. It’s not required, but it helps us estimate how much pizza to order.

See you on Thursday.

meetings

Comments (0)

Permalink

December Meeting: Yariv Sadan on ErlyWeb in Berkeley

Yariv Sadan has graciously agree to present ErlyWeb at the next BayFP meeting in Berkeley, CA on Thursday, December 6, 2007. This talk will round out our trifecta of talks on functional web frameworks. The meeting will be in the Wozniak Lounge in Soda Hall: http://www.eecs.berkeley.edu/Campus/Directions/#soda.

Here are more specific directions once you get there:

People should come in from LeRoy, but instead of the LeRoy street
entrance (locked), go right along side the building to its end and
take a left to enter from the patio area which connects to the Wozniak
Lounge (so come in from the Ridge facing side of the building if you
look at the map). The building is on a hill, so they really do need to
come in via LeRoy and walk to the Ridge facing side of the building.

I’ll be in Boston during the meeting (:-(), so if you are able to record the video and/or audio of the talk, please volunteer.

meetings

Comments (0)

Permalink