31 search results - page 3 / 7 » entcs 2000 |
84
Voted
ENTCS
2000
15 years 29 days ago
2000
ENTCS
2000
15 years 29 days ago
2000
The NuPRL system [3] was designed for interactive writing of machine
61
Voted
ENTCS
2000
15 years 29 days ago
2000
ENTCS
2000
15 years 29 days 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...
105
click to vote
ENTCS
2000
15 years 29 days 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...