Call-by-need effects via coeffects


Type
Article
Change log
Abstract

jats:titleAbstract</jats:title> jats:p Effect systems refine types with information about the behaviour of programs. They have been used for many purposes, such as optimizing programs, determining resource usage, and finding bugs. So far, however, work on effect systems has largely concentrated on call-by-value languages. We consider the problem of designing an effect system for a lazy language. This is more challenging because it depends on the ability to locate the first use of each variable. Coeffect systems, which track contextual requirements of programs, provide a method of doing this. We describe how to track variable usage in a coeffect system that can be instantiated for different reduction strategies, including call-by-need. We then add effects to the result, allowing work that has been done on effect systems for call-by-value languages to be applied to lazy languages.</jats:p>

Description
Keywords
effect systems, coeffect systems, call-by-need
Journal Title
Open Computer Science
Conference Name
Journal ISSN
2299-1093
2299-1093
Volume Title
8
Publisher
Walter de Gruyter GmbH
Sponsorship
Engineering and Physical Sciences Research Council (EP/N509620/1)