The impact of higher-order state and control effects on local relational reasoning

Dreyer, Derek and Neis, Georg and Birkedal, Lars
(2012) The impact of higher-order state and control effects on local relational reasoning.
J. Funct. Program., 22 (4-5). 477–528.

Full text not available from this repository.
Official URL: https://doi.org/10.1017/S095679681200024X

Actions

Actions (login required)

View Item View Item