Typechecking union types

Thomas Christensen <tc@elvis.dk>
27 Jun 2006 18:59:37 -0400

          From comp.compilers

Related articles
Typechecking union types tc@elvis.dk (Thomas Christensen) (2006-06-27)
Re: Typechecking union types cwarren89@gmail.com (Curtis W) (2006-07-05)
Re: Typechecking union types DrDiettrich@compuserve.de (Hans-Peter Diettrich) (2006-07-05)
Re: Typechecking union types haberg@math.su.se (2006-07-05)
Re: Typechecking union types tc@elvis.dk (Thomas Christensen) (2006-07-28)
| List of all articles for this month |

From: Thomas Christensen <tc@elvis.dk>
Newsgroups: comp.compilers
Date: 27 Jun 2006 18:59:37 -0400
Organization: Compilers Central
Keywords: types, question
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.

Thomas Christensen

Post a followup to this message

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