Sciweavers

6829 search results - page 115 / 1366
» Quantitative Generalizations of Languages
Sort
View
PEPM
1997
ACM
15 years 8 months ago
A Type-directed, On-line, Partial Evaluator for a Polymorphic Language
Recently, Olivier Danvy introduced a new, simple method for implementing powerful partial evaluators, namely typedirected partial evaluation 9 . He introduced a partial evaluator ...
Tim Sheard
CORR
2000
Springer
115views Education» more  CORR 2000»
15 years 4 months ago
Exploiting Diversity in Natural Language Processing: Combining Parsers
Three state-of-the-art statistical parsers are combined to produce more accurate parses, as well as new bounds on achievable Treebank parsing accuracy. Two general approaches are ...
John C. Henderson, Eric Brill
136
Voted
HASKELL
2009
ACM
15 years 11 months ago
Type-safe observable sharing in Haskell
Haskell is a great language for writing and supporting embedded Domain Specific Languages (DSLs). Some form of observable sharing is often a critical capability for allowing so-c...
Andy Gill
148
Voted
SFP
2003
15 years 6 months ago
Is it time for real-time functional programming?
Abstract This paper explores the suitability of functional languages for programming real-time systems. We study the requirements of real-time systems in general, outline typical l...
Kevin Hammond
PRIMA
2009
Springer
15 years 11 months ago
An Empirical Study of Agent Programs
Agent-oriented programming has been motivated in part by the conception that high-level programming constructs based on common tions such as beliefs and goals provide appropriate a...
M. Birna van Riemsdijk, Koen V. Hindriks