Descripción
|
|
---|---|
In this talk a novel parametric evaluator for the pure lambda calculus is presented, discussing the issues regarding the semantics of the implementing language, which gets in the way when defining the semantics of the object language. Following previous work by Danvy, the possibility of deriving an abstract machine from this generic evaluator is considered. | |
Internacional
|
Si |
Nombre congreso
|
Talk at the Algebra of Programming Group meeting |
Entidad organizadora
|
Oxford University Computing Laboratory, UK |
Nacionalidad Entidad
|
REINO UNIDO |
Lugar/Ciudad de impartición
|
Oxford, UK |
Fecha inicio
|
06/06/2009 |
Fecha fin
|
06/06/2009 |