TY - RPRT TI - Instruction sequences with dynamically instantiated instructions AU - J. A. Bergstra AU - C. A. Middelburg PY - 2009 DO - 10.3233/fi-2009-165 UR - https://arxiv.org/abs/0711.4217 ID - 0711.4217 ER -