@InProceedings{   boespflug:inria-00434283,
  Author        = "Boespflug, Mathieu",
  Editor        = "Danvy, Olivier",
  Address       = "Los Angeles, United States",
  BookTitle     = "{2009 Workshop on Normalization by Evaluation}",
  date-added    = "2017-05-03 20:02:54 +0000",
  date-modified = "2017-05-03 20:03:07 +0000",
  hal_id        = "inria-00434283",
  hal_version   = "v1",
  Keywords      = "normalization by evaluation and readme",
  Month         = "August",
  Organization  = "{Olivier Danvy}",
  PDF           = "https://hal.inria.fr/inria-00434283/file/NBE09-Boespflug-fastnbe.pdf",
  Title         = "{Efficient normalization by evaluation}",
  URL           = "https://hal.inria.fr/inria-00434283",
  Year          = "2009",
  bdsk-url-1    = "https://hal.inria.fr/inria-00434283",
  File          = "NBE09-Boespflug-fastnbe (0) - a - a - t.pdf",
  file-2        = "slides (0) - a - a - t.pdf"
}

@InProceedings{ boespflug:inria-00434283, Author = "Boespflug, Mathieu", Editor = "Danvy, Olivier", Address = "Los Angeles, United States", BookTitle = "{2009 Workshop on Normalization by Evaluation}", date-added = "2017-05-03 20:02:54 +0000", date-modified = "2017-05-03 20:03:07 +0000", hal_id = "inria-00434283", hal_version = "v1", Keywords = "normalization by evaluation and readme", Month = "August", Organization = "{Olivier Danvy}", PDF = "https://hal.inria.fr/inria-00434283/file/NBE09-Boespflug-fastnbe.pdf", Title = "{Efficient normalization by evaluation}", URL = "https://hal.inria.fr/inria-00434283", Year = "2009", bdsk-url-1 = "https://hal.inria.fr/inria-00434283", File = "NBE09-Boespflug-fastnbe (0) - a - a - t.pdf", file-2 = "slides (0) - a - a - t.pdf" }