[Consol] Ponencia

[Francisco Hernández Quiroz]

Estimados organizadores de Consol 2003:

De acuerdo con la convocatoria a Consol 2003, el envío de ponencias
concluye el miércoles 22 de enero. Sin embargo, el sistema de recepción
de ponencias fue desactivado desde la mañana del mismo miércoles (y
sospecho que esto ocurrió a las 0:00). O bien su convocatoria debió
decir que el envío concluía el martes 21 de enero, o bien su sistema
tiene un error.

En cualquier caso, y ateníéndome a los términos de su convocatoria, les
envío mi ponencia por correo electrónico en espera de que sea incluida
con las demás. Anexo en este mensaje la información que supongo que me
hubiera solicitado el servicio de recepción automático y copias de la
ponencia en formato LaTeX y PostScript.

¿Pueden enviarme un mensaje de confirmación de que recibieron la
ponencia y una respuesta sobre su inclusión en la lista (si es que
procede). Gracias.

Francisco Hernández Quiroz

Título de la ponencia: Un papel para Haskell en el desarrollo de
Software libre

Track: Comunidad y filosofía

Modalidad: Conferencia

Resumen: Hasekll es un lenguaje de programación funcional diseñado por
un comité de investigadores y profesionales de la computación con el fin
de tener un lenguaje que, desde su concepción misma, permitiera el uso
de ideas novedosas o deseables para un programador (funcionalidad pura,
evaluación perezosa, etc.)

A pesar de que Haskell cuenta con numerosas caracterìsticas que deberían
hacerlo muy atractivo para la comunidad de software libre, su uso en
dicho medio es poco más que marginal.

En esta ponencia se presentan varios argumentos de por qué esta
situación debería cambiar, con la esperanza de convencer a los
desarrolladores de software libre de intentar darle un papel mayor en su
trabajo a Haskell.

Nombre del ponente: Francisco Hernández Quiroz

e-mail: fhq at fciencias.unam.mx

Resumen curricular: Profesor Asociado C de Tiempo Completo, Departamento
de Matemáticas, Facultad de Ciencias, UNAM. Estudió la licenciatura en
Matemáticas en la Facultad de Ciencias de la UNAM y el doctorado en
Ciencias de la Computación en el Imperial College of Science, Technology
and Medicine (University of London). Su trabajo de investigación se
desarrolla en las áreas de Semántica de lenguajes de programación y de
Métodos para la verificación de programas.

Attachment Converted: "c:\eudora\attach\haskell.tex"

Attachment Converted: "c:\eudora\attach\haskell.ps"