774540 - Event - (2012-07-19 2:00PM UTC-7) - Ten Forward - Practical Affine Types

Status: RESOLVED FIXED

(Air Mozilla :: Events, task)

Description

[Dave Herman [:dherman]]

Topic: Practical Affine Types
Presenter: Jesse Tov (Northeastern University)
Date: 2012-07-19
Time: 2:00PM UTC-8
Duration: 1 Hour
Audience: Public
Air Mozilla: Yes
Dial-in: No
Archive: Yes
Member of IT to help with A/V: Yes
Description: Should be a standard slide-deck talk. Thanks!

Dave

Comment 1

[Dave Herman [:dherman]]

I have no idea whether PDT is UTC-7 or UTC-8. I left it on the default. I meant "2pm in Mountain View," whatever the correct time zone for that is. :)

Dave

Comment 2

[Zandr Milewski [:zandr]]

PDT is UTC-7

Comment 3

[Richard A Milewski[:richard]]

Attachment: Permission Request for Public Broadcast

Please review the contents of this bug and decide if this event may be streamed publicly on Air Mozilla.
PR please add "PR+" to the whiteboard field to indicate approval.
Steering Committee members please add "SC+" to the whiteboard field to indicate approval.

Comment 4

[Richard A Milewski[:richard]]

Policy Change: SC approval no longer required.

Comment 5

[Richard A Milewski[:richard]]

Dave,

Can you give me a description for the Air Mozilla page for this event?  "Standard slide-deck" talk is a bit generic.

Comment 6

[Dave Herman [:dherman]]

Practical Programming with Substructural Types
Jesse A. Tov
Harvard University

Alms is a general-purpose programming language that supports practical
substructural types. Substructural types allow the type system to keep
track of how many times some values are used, which enables type
checking for a variety of resource management protocols found in
special-purpose type systems such as typestate and session types.
Previous substructural type systems were either tailored for managing
a specific type of resource, or were general purpose but theoretical
and unwieldy. Alms uses several novel type system features to make
substructural types lightweight and convenient, and thus significantly
more practical for writing actual programs. In this talk I discuss the
design of Alms and show examples of the style of programming that it
enables.

Comment 7

[Tabitha Romero [:tab]]

Event has been added to the brownbag calendar.

AV setup and assistance will be provided.

Comment 8

[Tabitha Romero [:tab]]

Could I have a headshot of the speaker for this brownbag, thanks.