5415 search results - page 265 / 1083 » The Implementation of Functional Programming Languages |
111
click to vote
CORR
2010
Springer
15 years 1 months ago
2010
Springer
Dependently typed lambda calculi such as the Logical Framework (LF) can encode relationships between terms in types and can naturally capture correspondences between formulas and ...
107
click to vote
AI
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. Natural Language Generation (NLG) systems can make data accessible in an easily digestible textual form; but using such systems requires sophisticated linguistic and some...
IFIP
1998
Springer
15 years 5 months ago
1998
Springer
A conservative implementation of a predicate returns true only if the exact predicate is true. That is, we accept a one sided error for the implementation. For geometric predicate...
109
click to vote
POPL
2011
ACM
14 years 4 months ago
2011
ACM
Containers are general-purpose data structures that provide functionality for inserting, reading, removing, and iterating over elements. Since many applications written in modern ...
130
click to vote
POPL
2012
ACM
13 years 9 months ago
2012
ACM
The ideal software contract fully specifies the behavior of an operation. Often, in particular in the context of scripting languages, a full specification may be cumbersome to s...