<html>
<head>
<style><!--
.hmmessage P
{
margin:0px;
padding:0px
}
body.hmmessage
{
font-size: 10pt;
font-family:Tahoma
}
--></style>
</head>
<body class='hmmessage'><div dir='ltr'>
<style><!--
.hmmessage P
{
margin:0px;
padding:0px
}
body.hmmessage
{
font-size: 10pt;
font-family:Tahoma
}
--></style>
<div dir="ltr">People in this thread may be interested in the following paper of mine on dependent record types<br><br><a href="http://www.cs.rhul.ac.uk/home/zhaohui/DRT11.pdf" target="_blank">http://www.cs.rhul.ac.uk/home/zhaohui/DRT11.pdf</a><br><div><pre>from where you can also find references to several related earlier papers on DRTs. <br><br>Particulary relevant to some of the discussions in this thread is the discussion on the relationship between record types and Sigma-types in the above paper.<br> <br>Best regards,<br> <br>Zhaohui<br><br><br>-------------------------------------<br>Professor Zhaohui Luo <br>Department of Computer Science <br>Royal Holloway, University of London <br>Email: zhaohui.luo@hotmail.co.uk<br>URL: www.cs.rhul.ac.uk/home/zhaohui/<br></pre></div></div> </div></body>
</html>