LICS
1999
IEEE
14 years 3 months ago
1999
IEEE
LICS
1999
IEEE
14 years 3 months ago
1999
IEEE
We consider type systems that combine universal types, recursive types, and object types. We study type inference in these systems under a rank restriction, following Leivant'...
LICS
1999
IEEE
14 years 3 months ago
1999
IEEE
This paper extends the termination proof techniques based on reduction orderings to a higher-order setting, by adapting the recursive path ordering definition to terms of a typed ...
LICS
1999
IEEE
14 years 3 months ago
1999
IEEE
Pitts and Stark have proposed the -calculus as a language for investigating the interaction of unique name generation and higher-order functions. They developed a sound model base...
LICS
1999
IEEE
14 years 3 months ago
1999
IEEE
LICS
1999
IEEE
14 years 3 months ago
1999
IEEE
We introduce a new approach to modeling uncertainty based on plausibility measures. This approach is easily seen to generalize other approaches to modeling uncertainty, such as pr...
LICS
1999
IEEE
14 years 3 months ago
1999
IEEE
LICS
1999
IEEE
14 years 3 months ago
1999
IEEE
Guarded fixed point logics are obtained by adding least and greatest fixed points to the guarded fragments of firstorder logic that were recently introduced by Andr
LICS
1999
IEEE
14 years 3 months ago
1999
IEEE
We give a new decision procedure for the guarded fragment with equality. The procedure is based on resolution with superposition. We argue that this method will be more useful in ...
LICS
1999
IEEE
14 years 3 months ago
1999
IEEE