ELP
1991
14 years 3 months ago
1991
Operational semantics provide a simple, high-level and elegant means of specifying interpreters for programming languages. In natural semantics, a form of operational semantics, p...
ECSQARU
1991
Springer
14 years 3 months ago
1991
Springer
CSL
1991
Springer
14 years 3 months ago
1991
Springer
UKCBR
1995
14 years 3 months ago
1995
Various cognitive and computational models have addressed the use of previous experience to understand a new domain. In particular, research in case-based reasoning has explored t...
UKCBR
1995
14 years 3 months ago
1995
In the near future, a potentially huge number of telecommunication services will be available to the public. Information about these services will be sto...
TPHOL
1995
IEEE
14 years 3 months ago
1995
IEEE
This paper presents a survey of HOLCF, a higher order logic of computable functions. The logic HOLCF is based on HOLC, a variant of the well known higher order logic HOL, which o e...
TPHOL
1995
IEEE
14 years 3 months ago
1995
IEEE
RUR
1995
14 years 3 months ago
1995
PLILP
1995
Springer
14 years 3 months ago
1995
Springer
Abstract. Using higher-order functions is standard practice in functional programming, but most functional logic programming languages that have been described in the literature la...