In 1988, he worked in John Backus' group on the definition and implementation of the functional programming language FL.
1988 wirkte er in der Gruppe um John Backus an der Definition und Implementierung der funktionalen Sprache FL mit.