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
On The Role Of Minimal Typing Derivations In Type-drivenProgramTransformation
Stc
Date: 2001-02-25 Time: 11:45 Room: [[http://www.cs.uu.nl/docs/reach/bbl.php][BBL]] [[http://www.cs.uu.nl/info/plan/bbl.php][023]]. ----+++++ Speaker: [[http://www.cs.uu.nl/staff/stefan.html][Stefan Holdermans]], joint work with [[http://www.cs.uu.nl/staff/jur.html][Jurriaan Hage]]. ----+++++ Title: On the Role of Minimal Typing Derivations in Type-driven Program Transformation ----+++++ Abstract Standard inference algorithms for type systems involving ML-style polymorphism aim at reconstructing principal types for all let-bound identifiers. Using such algorithms to implement modular program optimisations by means of type-driven transformation techniques generally yields suboptimal results. We demonstrate how this defect can be made up for by using algorithms that target at obtaining so-called minimal typing derivations instead. The resulting approach retains modularity and is applicable to a large class of polyvariant program transformations.
