ICC 25427
INSTITUTO DE INVESTIGACION EN CIENCIAS DE LA COMPUTACION
Unidad Ejecutora - UE
congresos y reuniones científicas
Título:
Call-by-need, Neededness and All That
Autor/es:
RÍOS. ALEJANDRO; VISO, ANDRÉS; KESNER, DELIA
Lugar:
Tesalónica
Reunión:
Conferencia; 21st International Conference, Foundations of Software Science and Computation Structures; 2018
Resumen:
We show that call-by-need is observationally equivalent to weak-head needed reduction. The proof of this result uses a semantical argument based on a (non-idempotent) intersection type system called V. Interestingly, system V also allows to syntactically identify all the weakhead needed redexes of a term.
