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

RESOLVED FIXED

Status

RESOLVED FIXED
7 years ago
7 years ago

People

(Reporter: dherman, Unassigned)

Tracking

Details

(Whiteboard: Permission Request - pr+ sc+ Programmed - Calendar)

Attachments

(1 attachment)

(Reporter)

Description

7 years ago
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
(Reporter)

Comment 1

7 years ago
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
PDT is UTC-7
Summary: Event - (2012-07-19 2:00PM UTC-8) - Ten Forward - Practical Affine Types → Event - (2012-07-19 2:00PM UTC-7) - Ten Forward - Practical Affine Types
Created attachment 642862 [details]
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.
Attachment #642862 - Flags: review?(sprior)
Attachment #642862 - Flags: review?(dsicore)
Whiteboard: Permission Request

Updated

7 years ago
Attachment #642862 - Flags: review?(sprior) → review+
Policy Change: SC approval no longer required.
Whiteboard: Permission Request → Permission Request sc+ pr+
Dave,

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

Comment 6

7 years ago
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.
Event has been added to the brownbag calendar.

AV setup and assistance will be provided.
Status: NEW → ASSIGNED
Could I have a headshot of the speaker for this brownbag, thanks.
Whiteboard: Permission Request sc+ pr+ → Permission Request sc+ pr+ Programmed
Whiteboard: Permission Request sc+ pr+ Programmed → Permission Request - pr+ sc+ Programmed - Calendar
Status: ASSIGNED → RESOLVED
Last Resolved: 7 years ago
Resolution: --- → FIXED
You need to log in before you can comment on or make changes to this bug.