Observatorio de I+D+i UPM

Memorias de investigación
Courses, Seminars and tutorials:
Evaluation of the lambda-calculus. Generic Evaluators
Year:2009
Research Areas
  • Programming language
Information
Abstract
Different evaluation orders for the untyped lambda-calculus exists (call-by-value, call-by-name, normal order, applicative order...), reflecting the nuances in the evaluation of a system which serves as the foundation of functional programming languages. In this talk, I will introdue a generic evaluator (written in Haskell) which can be instantiated to any evaluator realising a particular evaluation order. For this purpose, I will recall some notions of the untyped lambda-calculus, give an algebraic data type representing lambda-terms, present the big-step semantics of the evaluation orders using natural deduction rules, implement them using CPS following Reynolds' advice and showing alternative solutions in Haskell), show how monads can help to write neater code, present a way to hybridate existing evaluation orders to produce new ones, comment about an absortion theorem regarding hybridation and describe something I call the beta-cube"
International
Si
Congress
Talk at the Algebra of Programming Group meeting
Entity
Oxford University Computing Laboratory
Entity Nationality
REINO UNIDO
Place
Oxford
Start Date
23/10/2009
End Date
23/10/2009
Participants
  • Autor: Alvaro Garcia Perez (UPM)
Research Group, Departaments and Institutes related
  • Creador: Grupo de Investigación: BABEL: Desarrollo de Software Fiable y de Alta Calidad a partir de Tecnología Declarativa
  • Departamento: Lenguajes y Sistemas Informáticos e Ingeniería de Software
S2i 2020 Observatorio de investigación @ UPM con la colaboración del Consejo Social UPM
Cofinanciación del MINECO en el marco del Programa INNCIDE 2011 (OTR-2011-0236)
Cofinanciación del MINECO en el marco del Programa INNPACTO (IPT-020000-2010-22)