Basic Datatypes in CASL

Markus Roggenbach
Till Mossakowski

20 July 1999

This document is available by FTP in various formats. It was converted to HTML using Hyperlatex 2.3.

Abstract

The CoFI-workshop in Cachan, November 1998, stated: "There should be (a) standard predefined library/ies for numbers, characters, strings (possibly more). For pragmatic usability of CASL, there also needs to be a special syntax for literals, similar to programming languages."[Kol98] This note is a proposal for such a standard library.