Cordell Rolfson

• A compiling technique for the Iverson language