Typchecking for modern languages

anthonygetz@aol.com (AnthonyGetz)
26 Jun 2004 23:54:27 -0400

          From comp.compilers
Related articles
Typchecking for modern languages anthonygetz@aol.com (2004-06-26)
Re: Typchecking for modern languages tom@kednos.com (2004-06-28)
Re: Typchecking for modern languages haberg@matematik.su.se (Hans Aberg) (2004-06-28)
Re: Typchecking for modern languages danwang74@hotmail.com (Daniel C. Wang) (2004-06-30)
| List of all articles for this month |
From: anthonygetz@aol.com (AnthonyGetz)
Newsgroups: comp.compilers
Date: 26 Jun 2004 23:54:27 -0400
Organization: AOL http://www.aol.com
Keywords: types, analysis, question
Posted-Date: 26 Jun 2004 23:54:27 EDT

I'm looking for books or papers that explain how to implement
typechecking inside a compiler.

Typechecking for Pascal is easy... I need to understand how to
implement typechecking for languages that combine inheritance with
parametric polymorphism (such as the new proposals for Generic Java
and Generic C#).

Any pointers or other help would be appreciated.

AnthonyGetz@aol.com

Post a followup to this message

Return to the comp.compilers page.
Search the comp.compilers archives again.