inetbot web crawler
Main  |  Get access to the repository  |  API  |  The robot  |  Publications  |  Usenet Groups  |  Plainweb  | 
 inetbot - Groups (beta)

Current group: comp.theory

Sum types

Sum types  
darkk at wo.cz
From:darkk at wo.cz
Subject:Sum types
Date:21 Jan 2005 02:22:37 -0800
What is the best way to encode sum types with subtyping in terms of
records or object types?

Thanks, Andy
   
Copyright © 2006 inetbot   -   All rights reserved