On Thu, Jun 11, 2015 at 4:13 PM, Matt Oliveri <atma...@gmail.com> wrote:
> You could also try to find out what tools like ML-yacc do. > http://www.smlnj.org/doc/ML-Yacc/ > http://caml.inria.fr/pub/docs/manual-ocaml/lexyacc.html the paper Towards efficient, typed LR parsers; seems to go into some depth here, haven't gotten too far into the paper yet though. http://gallium.inria.fr/~fpottier/publis/fpottier-regis-gianas-typed-lr.pdf _______________________________________________ bitc-dev mailing list bitc-dev@coyotos.org http://www.coyotos.org/mailman/listinfo/bitc-dev
