@Article{         douence:inria-00000940,
  Author        = "Douence, R{\'e}mi and Fradet, Pascal",
  Abstract      = "{The Krivine machine is a simple and natural implementation of the normal weak-head reduction strategy for pure lambda-terms. While its original description has remained unpublished, this machine has served as a basis for many variants, extensions and theoretical studies. In this paper, we present the Krivine machine and some well-known variants in a common framework. Our framework consists of a hierarchy of intermediate languages that are subsets of the lambda-calculus. The whole implementation process (compiler + abstract machine) is described via a sequence of transformations all of which express an implementation choice. We characterize the essence of the Krivine machine and locate it in the design space of functional language implementations. We show that, even within the particular class of Krivine machines, hundreds of variants can be designed.}",
  affiliation   = "OBASCO - INRIA - EMN , POP ART - INRIA Rh{\^o}ne-Alpes",
  audience      = "non sp{\'e}cifi{\'e}e",
  date-added    = "2013-04-16 14:55:55 +0000",
  date-modified = "2013-04-16 14:56:11 +0000",
  hal_id        = "inria-00000940",
  Journal       = "Higher-Order and Symbolic Computation",
  Keywords      = "simply-typed lambda calculus and Krivine machine",
  Language      = "Anglais",
  PDF           = "http://hal.inria.fr/inria-00000940/PDF/HOSC06.pdf",
  Publisher     = "Kluwer Academic Publisher",
  Title         = "{The next 700 Krivine Machines}",
  URL           = "http://hal.inria.fr/inria-00000940",
  Year          = "2005",
  bdsk-url-1    = "http://hal.inria.fr/inria-00000940",
  File          = "The next 700 Krivine Machines - Douence, Fradet (0) (0) - a - a - m.pdf",
  file-2        = "The next 700 Krivine Machines - Douence, Fradet (1) (0) - a - a - m.pdf"
}

@Article{ douence:inria-00000940, Author = "Douence, R{\'e}mi and Fradet, Pascal", Abstract = "{The Krivine machine is a simple and natural implementation of the normal weak-head reduction strategy for pure lambda-terms. While its original description has remained unpublished, this machine has served as a basis for many variants, extensions and theoretical studies. In this paper, we present the Krivine machine and some well-known variants in a common framework. Our framework consists of a hierarchy of intermediate languages that are subsets of the lambda-calculus. The whole implementation process (compiler + abstract machine) is described via a sequence of transformations all of which express an implementation choice. We characterize the essence of the Krivine machine and locate it in the design space of functional language implementations. We show that, even within the particular class of Krivine machines, hundreds of variants can be designed.}", affiliation = "OBASCO - INRIA - EMN , POP ART - INRIA Rh{\^o}ne-Alpes", audience = "non sp{\'e}cifi{\'e}e", date-added = "2013-04-16 14:55:55 +0000", date-modified = "2013-04-16 14:56:11 +0000", hal_id = "inria-00000940", Journal = "Higher-Order and Symbolic Computation", Keywords = "simply-typed lambda calculus and Krivine machine", Language = "Anglais", PDF = "http://hal.inria.fr/inria-00000940/PDF/HOSC06.pdf", Publisher = "Kluwer Academic Publisher", Title = "{The next 700 Krivine Machines}", URL = "http://hal.inria.fr/inria-00000940", Year = "2005", bdsk-url-1 = "http://hal.inria.fr/inria-00000940", File = "The next 700 Krivine Machines - Douence, Fradet (0) (0) - a - a - m.pdf", file-2 = "The next 700 Krivine Machines - Douence, Fradet (1) (0) - a - a - m.pdf" }