knowledge-database (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 knowledge-database   -   All rights reserved