El trabajo consiste en la definición de un lenguaje declarativo para especificar interfaces de programas en la forma de formularios. El lenguaje cubre las construcciones más frecuentes en un formulario y contempla algunas construcciones interesantes y no habituales, como tipos dependientes de elementos o restricciones sobre los campos que van desde predicados que deben satisfacer los valores de entrada hasta relaciones entre los campos que permiten determinar el valor de unos a partir del valor de otros. Luego de un breve análisis de algunas de las herramientas actualmente disponibles, se describen las principales construcciones del lenguaje Interflan, ilustrando las mismas a través de ejemplos. La definición del lenguaje incluye su sintaxis y un cálculo de tipos para el mismo. En resumen, el problema planteado es relevante y de inmediata aplicación en el dominio de la programación actual, el lenguaje desarrollado tiene potencial, y tanto el diseño de la sintaxis como las condiciones estáticas de validez del mismo cumplen con los objetivos planteados.