I'll start looking in depth tomorrow. Thank you for your help,
Waverly -----Original Message----- From: Mark Wright [mailto:markwri...@internode.on.net] Sent: Monday, June 13, 2011 10:34 AM To: Edwards, Waverly; antlr Subject: Re: [antlr-interest] object oriented compiler implementation >> Hi Waverly, There is lots of information using type theory, functional programming, and proof assistants. The book to start with using this approach is free: http://www.seas.upenn.edu/~cis500/current/sf/html/index.html << List: http://www.antlr.org/mailman/listinfo/antlr-interest Unsubscribe: http://www.antlr.org/mailman/options/antlr-interest/your-email-address -- You received this message because you are subscribed to the Google Groups "il-antlr-interest" group. To post to this group, send email to il-antlr-inter...@googlegroups.com. To unsubscribe from this group, send email to il-antlr-interest+unsubscr...@googlegroups.com. For more options, visit this group at http://groups.google.com/group/il-antlr-interest?hl=en.