Closed
Bug 774540
Opened 12 years ago
Closed 12 years ago
Event - (2012-07-19 2:00PM UTC-7) - Ten Forward - Practical Affine Types
Categories
(Air Mozilla :: Events, task)
Tracking
(Not tracked)
RESOLVED
FIXED
People
(Reporter: dherman, Unassigned)
Details
(Whiteboard: Permission Request - pr+ sc+ Programmed - Calendar)
Attachments
(1 file)
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•12 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
Comment 2•12 years ago
|
||
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
Comment 3•12 years ago
|
||
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)
Updated•12 years ago
|
Whiteboard: Permission Request
Updated•12 years ago
|
Attachment #642862 -
Flags: review?(sprior) → review+
Comment 4•12 years ago
|
||
Policy Change: SC approval no longer required.
Whiteboard: Permission Request → Permission Request sc+ pr+
Comment 5•12 years ago
|
||
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•12 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.
Comment 7•12 years ago
|
||
Event has been added to the brownbag calendar. AV setup and assistance will be provided.
Status: NEW → ASSIGNED
Comment 8•12 years ago
|
||
Could I have a headshot of the speaker for this brownbag, thanks.
Updated•12 years ago
|
Whiteboard: Permission Request sc+ pr+ → Permission Request sc+ pr+ Programmed
Updated•12 years ago
|
Whiteboard: Permission Request sc+ pr+ Programmed → Permission Request - pr+ sc+ Programmed - Calendar
Updated•12 years ago
|
Status: ASSIGNED → RESOLVED
Closed: 12 years ago
Resolution: --- → FIXED
You need to log in
before you can comment on or make changes to this bug.
Description
•