Higher-order Transformations and Type Simulations

DOI10.1093/COMJNL/31.6.517zbMath0662.68013OpenAlexW2122960660MaRDI QIDQ3813272

Martin C. Henson

Publication date: 1988

Published in: The Computer Journal (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/comjnl/31.6.517

zbMATH Keywords

code generatorhigher- order program transformationshigher-order accumulationlazy functional programming languagetype simulationupdating with impunity

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Data structures (68P05) General topics in the theory of software (68N01)

Related Items (1)

Program morphisms

This page was built for publication: Higher-order Transformations and Type Simulations