A rational deconstruction of Landin's SECD machine with the J operator

   Abstract