Home
Schedule
Abstract Template
Masters Attendance
Center
Home
Courses
People
Projects
Page
Edit Page
Rename Page
Attach File
Printable
Wiki Source
More ...
Web
Recent Changes
Notify Service
News
Page Index
Search
More ...
Wiki
About TWiki
Text Formatting
Registration
Change Password
Reset Password
Users
Groups
Log In
or
Register
Spreading The Joy
Stc
Date: 2009-06-18 Time: 11:45 Room: BBL room 471 ----+++ Speaker: [[Main.StefanHoldermans][Stefan Holdermans]] ----+++ Title: Spreading the Joy. Making “Stricterness” More Relevant (Joint work with Jurriaan Hage) ----+++ Abstract Adapting a run-of-the-mill strictness analysis based on relevance typing to have it take into account the increase in strictness incurred from programmer-enforced evaluation-order overrides turns out to be a tricky business: naïve extensions of relevant type systems that deal with such overrides are typically either unsound or otherwise ineffective. Still, accurately tracking the effects of locally enforced eagerness on the reductive behaviour of lazy programs may allow for the “stricterness” of a single programmer-annotated function to propagate to many of its call-sites and, hence, further improve the run-time behaviour of hand-annotated programs. In this talk, we consider a substructural type system that carefully combines the more traditional notion of relevance with a notion of applicative use. Program transformations based on this type system are both sound and effective. ----+++ Handouts * [[%ATTACHURL%/sa-stc-handout.pdf][Slides]] ----+++ See Also * [[http://people.cs.uu.nl/stefan/pubs/holdermans09making.html]] -- Main.StefanHoldermans - 20 Jun 2009
Topic attachments
I
Attachment
Action
Size
Date
Who
Comment
pdf
sa-stc-handout.pdf
manage
432.4 K
18 Jun 2009 - 16:08
StefanHoldermans
Handout