Basic Datatypes in CASL

Markus Roggenbach
Till Mossakowski

November 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.