[antlr-interest] object oriented compiler implementation

[Edwards, Waverly]

I'll start looking in depth tomorrow.

Thank you for your help,


Waverly


-----Original Message-----
From: Mark Wright [mailto:markwright at 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
<<