@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"
}
Library Size: 13G (12942 entries),
Last Updated: Apr 05, 2026, 08:41:35,
Build Time: N/A