Fue director del departamento de Lexicografía de la Real Academia Española entre los años 1981 y 1993, así como de su diccionario histórico.