Descripción
|
|
---|---|
El cálculo lambda y sus estrategias de reducción han tenido un enorme impacto en el campo de los lenguajes de programación, en particular en su diseño y mecanismos de evaluación. Peter Sestoft recoge y define de forma precisa, mediante reglas big-step, las estrategias de reducción más conocidas del calculo lambda puro (sin tipos), estrategias tales como applicative order, normal order, call-by-name, call-by-value, head spine y otras menos conocidas denominadas, informalmente, híbridas. Parte de la motivación de Sestoft es precisar el significado que las estrategias usadas en programación tienen en el cálculo lambda puro, donde hay variables libres y se pueden reducir los cuerpos de funciones. Sestoft implementa cada estrategia como una función de reducción en ML. En esta charla hablaremos del trabajo realizado junto a Pablo Nogueira y Emilio Jesús gallego Arias sobre el Cubo Beta presentado en el 1st International Workshop on Strategies in Rewriting, Proving, and Programming. Este trabajo es una continuación y generalización de los esfuerzos de Sestoft. | |
Internacional
|
No |
Nombre congreso
|
II Taller de Programación Funcional, TPF 2010 |
Entidad organizadora
|
II Taller de Programación Funcional, TPF 2010 |
Nacionalidad Entidad
|
ESPAÑA |
Lugar/Ciudad de impartición
|
Valencia. Spain |
Fecha inicio
|
07/09/2010 |
Fecha fin
|
07/09/2010 |