Sus contribuciones a la matemática computacional incluyen HAKMEM y el sistema Maclisp del MIT.