The Definition of the NSP Type System

Dirk Draheim, Elfriede Fehr, Gerald Weber
Institut für Informatik
Freie Universität Berlin
Takustr. 9, D-14195 Berlin
email: draheim@inf.fu-berlin.de, weber@inf.fu-berlin.de

Report B 02-11
October 2002

Abstract
The static semantics of a new typed server pages approach is defined as an algorithmic, equi-recursive type system with respect to an amalgamation with a minimal imperative programming language and a collection of sufficiently complex programming language types. 

Get the report here  or by anonymous ftp:
Server: fubinf.inf.fu-berlin.de
File: pub/reports/tr-b-02-11.ps.gz