2076 search results - page 46 / 416 » Functional logic overloading |
PPDP
2001
Springer
14 years 1 months ago
2001
Springer
This paper describes an implementation of narrowing, an essential component of implementations of modern functional logic languages. These implementations rely on narrowing, in pa...
QSHINE
2005
IEEE
14 years 2 months ago
2005
IEEE
Service availability in wireless networks is highly dependent on efficient resource allocation and guaranteed Quality of Service (QoS) amid overloads and failures. This paper add...
MKM
2004
Springer
14 years 2 months ago
2004
Springer
Abstract. The Mizar system is equipped with a very large library containing tens of thousands of theorems and thousands of definitions, which often use overloaded notation. For e...
TACS
1994
Springer
14 years 23 days ago
1994
Springer
The ML type system was originally introduced as a means of identifying a class of terms in a simple untyped language, often referred to as core-ML, whose evaluation could be guaran...
SOSP
1993
ACM
13 years 10 months ago
1993
ACM
Handling audio and video in a digital environment requires timely delivery of data. This paper describes the principles adopted in the design of the Pandora networked multi-media ...