Elements of functional languages

An Introduction to Landin‘s “A Generalization of Jumps and Labels”

Higher-Order and Symbolic Computation

Proving Correctness of Programs with IO - A Paradigm Comparison

IFL '02 Selected Papers from the 13th International Workshop on Implementation of Functional Languages

Functional semantics of microprocessors at the microprogram level and correspondence with the machine instruction level

EURO-DAC '90 Proceedings of the conference on European design automation

Reasoning about i/o in functional programs

CEFP'11 Proceedings of the 4th Summer School conference on Central European Functional Programming School