105
click to vote
ELP
1991
15 years 20 days 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
15 years 20 days ago
1991
Springer
CSL
1991
Springer
15 years 20 days ago
1991
Springer
UKCBR
1995
15 years 21 days 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...
114
click to vote
UKCBR
1995
15 years 21 days 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
15 years 21 days 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
15 years 21 days ago
1995
IEEE
PLILP
1995
Springer
15 years 21 days 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...