Jonathan David Eddy

• A continuation-passing operator tree for pattern matching