[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Note of Dissent L-4 on the role of subsorts...

http://www.brics.dk/Projects/CoFI/Notes/L-4/
ftp://ftp.brics.dk/Projects/CoFI/Notes/L-4/

   The Role of Subsorts in Subsort Declarations and Datatype Declarations

                               Anne Haxthausen
                                Maura Cerioli

                                 29 May 1997

     This document is available by FTP in various formats.

Abstract

     The sorts appearing in a subsort declaration should be using
     instead of declaring occurrences. The same holds for subsorts
     appearing as alternatives in datatype declarations.