A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2013; you can also visit the original URL.
The file type is application/pdf
.
The impact of higher-order state and control effects on local relational reasoning
2010
Proceedings of the 15th ACM SIGPLAN international conference on Functional programming - ICFP '10
Reasoning about program equivalence is one of the oldest problems in semantics. In recent years, useful techniques have been developed, based on bisimulations and logical relations, for reasoning about equivalence in the setting of increasingly realistic languages-languages nearly as complex as ML or Haskell. Much of the recent work in this direction has considered the interesting representation independence principles enabled by the use of local state, but it is also important to understand
doi:10.1145/1863543.1863566
dblp:conf/icfp/DreyerNB10
fatcat:6tx5tvqr7fc4xcmsd4ojwhiksi