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
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.
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.
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.