Video and Slides from July Meeting

The video and slides from the July meeting are now available. Thanks to Leo Meyerovich for presenting his work on Flapjax and to Heysan for providing the space for us to meet.

Creative Commons License
This work is licensed under a Creative Commons Attribution-Noncommercial 3.0 Unported License.

slides
video

Comments (0)

Permalink

July 17th: Leo Meyerovich on Functional Reactive Web Programming

BayFP resumes Thursday, July 17th at 7:30pm with a talk by Leo Meyerovich on Flapjax.

The web is raising the bar for expected application features and
reactivity is one common theme. Thick clients are again becoming the
norm, further hinting at the form reactivity takes and guiding our
choice in how to support it. For these reasons, data binding is a
popular feature, yet bound terms are often neither first-class
citizens nor higher-order. To further help untangle typical reactive
web client code by facilitating compositional reasoning for events and
changing data, we created the Flapjax library for JavaScript, which
I’ll present in a tutorial fashion. It supports a simple push-driven
fragment of functional reactive programming (that can also be thought
of as first-class and higher-order extension of push-driven data
flow). However, our initial attempt to make the library even more
usable by adding supporting syntax was incomplete: gradually typing
and side-effects are core mantras to ECMAScript, so experience has
shown that we should have incorporated both to make an effective FRP
embedding. I’ll discuss the language-level attempt this led me to at
Adobe for Flex/ActionScript 3 last summer, and finish with pointers to
clear next steps in supporting IDEs and manycores.

Our host this month is Heysan: 301 8th Street suite 270 (door on the right after coming up in the elevator) San Francisco, CA.


View Larger Map

As always, the talk is free and open to everyone, though we do collect money for pizza and soda.

meetings
Uncategorized

Comments Off

Permalink

Next Meeting & Summer Schedule

With the start of summer, travel, & vacations, Mike & I have slowed down a little on scheduling meetings, but we’re eager as ever to start setting up talks for the coming months. Although we’ve already got some folks lined up, the more the merrier! Please email us on the mailing list if you’re interested.

meetings

Comments (0)

Permalink

Video and slides from Bryan O’Sullivan’s talk

Here are the video and slides from Bryan’s talk.

Creative Commons License
This work is licensed under a Creative Commons Attribution-Share Alike 3.0 Unported License.

slides
video

Comments (1)

Permalink

May 8th Meeting: Bryan O’Sullivan on Concurrent and multicore programming in Haskell

Our next BayFP meeting will be this Thursday, May 8th, 2008 at 7:30pm. We’ll feature Bryan O’Sullivan on Concurrent and multicore programming in Haskell. Bryan is a co-author of the upcoming O’Reilly book Real World Haskell. (among all sorts of other snazzy endeavors)

Many thanks to Alex Payne at Twitter for hosting this month’s meeting. They’ve been very supportive of BayFP and we appreciate their continued hosting. 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. As always, this is a free event.

If you want pizza, please select which type here (and bring a few $$s): Pizza Selection Form

meetings

Comments (0)

Permalink

Video and Slides from Jake Donham’s Talk

Here are the video and slides from the April 17th meeting.

Video thumbnail. Click to play
Click To Play

Creative Commons License
This work is licensed under a Creative Commons Attribution 3.0 Unported License.

slides
video

Comments (0)

Permalink

April 17th Meeting: Jake Donham on Twelf

The April meeting of BayFP is Thursday the 17th at 7:30pm at Citizen Space, 425 2nd Street, #300, San Francisco:


View Larger Map

Jake Donham will be giving his talk on Twelf that was postponed from last month.

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.

As always, the talk is free and open to all

meetings

Comments (0)

Permalink

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