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

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.


What I need is some background on the various problems/issues related
specifically to union types.


Regards
Thomas Christensen



Post a followup to this message

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