The qnu and qnuK calculi, name capture and control Extended AbstractReportar como inadecuado




The qnu and qnuK calculi, name capture and control Extended Abstract - Descarga este documento en PDF. Documentación en PDF para descargar gratis. Disponible también para leer online.

1 PPS - Preuves, Programmes et Systèmes

Abstract : We introduce a pithy calculus obtained by splitting the lambda binder of the lambda-calculus into two constructions : a pure binder nu, à la pi-calculus, and a combinator for beta-reduction. This splitting allows a powerful - yet controlled - rebinding mechanism. Using the same splitting with continuations allows the expression of both local and global exceptions in the same clean calculus. We also exhibit a typing system with variable initialisation and exception handling analysis.

keyword : qnu-calculus qnuK-calculus lambda-calculus lambda-kappa-calculus ML Continuations Control Exceptions Dynamic scope Functional programming Variable capture





Autor: Sylvain Baro - François Maurel -

Fuente: https://hal.archives-ouvertes.fr/



DESCARGAR PDF




Documentos relacionados