|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:||"Curtis W" <firstname.lastname@example.org>|
|Date:||5 Jul 2006 15:15:27 -0400|
|Posted-Date:||05 Jul 2006 15:15:27 EDT|
Well, to start off, what do you mean by "union types"? Something like
OCaml's variant types, e.g. `Int of int | `Float of float ? Secondly,
do you have any questions in particular? Try and think through how the
type inferencer is going to look in regards to union types and see if
you can't find any rough spots that you're having trouble figuring
Thomas Christensen wrote:
> 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.
Return to the
Search the comp.compilers archives again.