1185 search results - page 80 / 237 » Implementing Functional Languages: a tutorial |
146
click to vote
TCS
2008
15 years 4 months ago
2008
The -calculus is an extension of the -calculus with a pattern matching facility. The form of the argument of a function can be speci ed and hence -calculus is more convenient than...
166
click to vote
FOIKS
2006
Springer
15 years 8 months ago
2006
Springer
It is claimed in [45] that first-order theorem provers are not efficient for reasoning with ontologies based on description logics compared to specialised description logic reasone...
146
click to vote
POPL
1998
ACM
15 years 9 months ago
1998
ACM
We present a formal specification of unCurrying for a higher-order, functional language with ML-style let-polymorphism. This specification supports the general unCurrying of func...
134
click to vote
SAC
2010
ACM
15 years 11 months ago
2010
ACM
Most mainstream system programming languages provide support for builtin types, and extension mechanisms through userdefined types. They also come with a notion of constant expre...
247
click to vote
IWAN
2004
Springer
15 years 10 months ago
2004
Springer
In this paper, we present GateScript, a scripting language for active applications to be executed on generic active gateways. Unlike other active networking platforms, it offers a...