Re: Typechecking union types

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

Thomas Christensen wrote:
Hi,

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

Relevant Pages

  • Typechecking union types
    ... narrow field of typechecking union types. ... Can anyone point me to some good starting points, books, ...
    (comp.compilers)
  • Re: Typechecking union types
    ... narrow field of typechecking union types. ... As Wirth possibly had in mind with the tag field in Pascal variant ... compiler could at least add a hidden information about the last ...
    (comp.compilers)