2 search results - page 1 / 1 » Numbering matters: first-order canonical forms for second-or... |
ICFP
2004
ACM
14 years 4 months ago
2004
ACM
We study a type system equipped with universal types and equirecursive types, which we refer to as F?. We show that type equality may be decided in time O(n log n), an improvement...
DT
2006
13 years 4 months ago
2006
The widely used engineering decisions concerning the performance of technological equipment for process industries are usually deterministic. Since the early 1990s probabilistic m...