Re: Typchecking for modern languages

"Daniel C. Wang" <danwang74@hotmail.com>
30 Jun 2004 23:07:30 -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: "Daniel C. Wang" <danwang74@hotmail.com>
Newsgroups: comp.compilers
Date: 30 Jun 2004 23:07:30 -0400
Organization: Compilers Central
References: 04-06-101
Keywords: types
Posted-Date: 30 Jun 2004 23:07:30 EDT

See "Types and Programming Languages" by Benjamin C. Pierce


      http://www.cis.upenn.edu/~bcpierce/tapl/index.html


It covers almost everything you every wanted to know about modern
type-checking and type systems.


AnthonyGetz wrote:


> 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.

Post a followup to this message

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