31 search results - page 3 / 7 » entcs 2000 |
ENTCS
2000
13 years 4 months ago
2000
ENTCS
2000
13 years 4 months ago
2000
The NuPRL system [3] was designed for interactive writing of machine
ENTCS
2000
13 years 4 months ago
2000
ENTCS
2000
13 years 4 months ago
2000
We consider categories of coalgebras as (co)-fibred over a base category of parameters and analyse categorical constructions in the total category of deterministic and non-determi...
ENTCS
2000
13 years 4 months ago
2000
We develop, in a stepwise fashion, a set of parser combinators for constructing deterministic, error-correcting parsers. The only restriction on the grammar is that it is not left...