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

Report B 02-11
October 2002

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:
File: pub/reports/