Hi!

The recent thread on type systems has prompted me to
ask for a summary of references on this stuff.
I thought other people might find some useful too.

Here are a few topics I'd like to get references on:
Preferably introductions (``what is it?; why's it good?'' sort of thing)
readable by someone who's not a researcher in the area.

- Various popular type systems
        (mentioned in Stephan Kahrs' posting)

        - Hindley-Milner

        - Damas-Milner (is this basically the same as Hindley-Milner???)

        - Milner-Mycroft

- Relationships between formal languages and type theory
        (mentioned in Robin Popplestone's posting)

- Existential types and module systems
        (not mentioned by anyone, but I'd like to know more.)

- Higher-order type systems
        (ditto)

        - 2nd order lambda calculus

        - kind systems (a la Gofer kinds)

Thanks for any help.

Cheers,

        Bert.

-----------------------------------------------------------------------

department of computer science                  university of melbourne
-----------------------------------------------------------------------