194 search results - page 23 / 39 » A Rewriting Semantics for Type Inference |
PLDI
2004
ACM
14 years 24 days ago
2004
ACM
Region-based memory management offers several important potential advantages over garbage collection, including real-time performance, better data locality, and more efficient us...
ICFP
2003
ACM
14 years 7 months ago
2003
ACM
FreshML extends ML with elegant and practical constructs for declaring and manipulating syntactical data involving statically scoped binding operations. User-declared FreshML data...
TYPES
2004
Springer
14 years 22 days ago
2004
Springer
Abstract Within a framework of correct code-generation from HOLspecifications, we present a particular instance concerned with the optimized compilation of a lazy language (called...
CORR
1998
Springer
13 years 7 months ago
1998
Springer
We focus on the productionof efficient descriptionsof objects, actions and events. We define a type of efficiency, textualeconomy, thatexploitsthe hearer’s recognitionof infe...
ACL
2006
13 years 8 months ago
2006
Name tagging is a critical early stage in many natural language processing pipelines. In this paper we analyze the types of errors produced by a tagger, distinguishing name classi...