R researchgate.net A theory of changes for higher-order languages (2013) 2 points codeismath 5 years ago 0 comments