|Typechecking union types firstname.lastname@example.org (Thomas Christensen) (2006-06-27)|
|Re: Typechecking union types email@example.com (Curtis W) (2006-07-05)|
|Re: Typechecking union types DrDiettrich@compuserve.de (Hans-Peter Diettrich) (2006-07-05)|
|Re: Typechecking union types firstname.lastname@example.org (2006-07-05)|
|Re: Typechecking union types email@example.com (Thomas Christensen) (2006-07-28)|
|From:||Thomas Christensen <firstname.lastname@example.org>|
|Date:||27 Jun 2006 18:59:37 -0400|
|Posted-Date:||27 Jun 2006 18:59:37 EDT|
For my master thesis, I need to get up to speed
on the current state of the art within the somewhat
narrow field of typechecking union types.
Can anyone point me to some good starting points, books,
papers, articles. I have Benjamin Pierce's book, "Types and Programming
Languages" and am currently ploughing my way through that.
What I need is some background on the various problems/issues related
specifically to union types.
Return to the
Search the comp.compilers archives again.