[antlr-interest] object oriented compiler implementation
Edwards, Waverly
Waverly.Edwards at genesys.com
Mon Jun 13 14:02:50 PDT 2011
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
<<
More information about the antlr-interest
mailing list