Home
Schedule
Abstract Template
Masters Attendance

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 &#8220;Stricterness&#8221; 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&iuml;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 &#8220;stricterness&#8221; 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