Coeffect systems, which track contextual requirements of programs, provide a method of doing this.
McDermott Dylan, Mycroft Alan 2018, 'Call-by-need effects via coeffects', Open Computer Sciencehttp://www.degruyter.com/view/j/comp.2018.8.issue-1/comp-2018-0009/comp-2018-0009.xml?format=INT. Retrieved from DOAJ CC BY 4.0 (https://creativecommons.org/licenses/by-sa/4.0/legalcode)
The introduction of the concept of coeffect was motivated by two considerations.
PÁSZKA, Imre 2014, 'Outline of the Sociological Approach of Synergy Representations', Belvedere Meridionalehttp://www.belvedere-meridionale.hu/lapszamok/2014-4/03_PASZKA_Belvedere_2014_4_37-55pp.pdf. Retrieved from DOAJ CC BY 4.0 (https://creativecommons.org/licenses/by-sa/4.0/legalcode)