8766 search results - page 433 / 1754 » Functional logic programming |
140
click to vote
FLOPS
1999
Springer
15 years 8 months ago
1999
Springer
Abstract. Subtyping tends to undermine the effects of parametric polymorphism as far as the static detection of type errors is concerned. Starting with this observation we present...
139
click to vote
ACL
1990
15 years 5 months ago
1990
A user may typically need to combine the strengths of more than one system in order to perform a task. In this paper, we describe a component of the Janus natural language interfa...
150
click to vote
CADE
2010
Springer
15 years 4 months ago
2010
Springer
In order to support the verification of programs, verification tools such as ACL2 or Isabelle try to extract suitable induction axioms from the definitions of terminating, recursiv...
160
click to vote
EUSFLAT
2009
15 years 1 months ago
2009
This paper uses a constraint set approach to linear programming problems with equality constraints whose coefficients and/or right-hand side values could be uncertain. We consider ...
99
Voted
CORR
2010
Springer
15 years 1 months ago
2010
Springer
Using standard domain-theoretic fixed-points, we present an approach for defining recursive functions that are formulated in monadic style. The method works both in the simple opt...