| tech,5-1-E91-1012,ak | A purely functional implementation of <term> LR-parsers </term> is given , together with a simple <term> correctness proof </term> . | #21460 A purely functional implementation ofLR-parsers is given, together with a simple correctness proof. |
