This is an archive of the old software engineering chair at Saarland University. It is no longer up-to-date.

Style - ein Typ-Checker für Scheme
by Christian Lindig

Technische Universität Braunschweig, Institut für Programmiersprachen und Informationssysteme, Arbeitsgruppe Softwaretechnologie, September 1993. In German.

Abstract

This thesis describes an new tool for finding errors in R4RS-compliant Scheme programs. A polymorphic type system in the style of Milner with an additional maximum type is used to type Scheme code. Although Scheme is dynamically typed, most parts of programs are statically typeable; type inconsistencies are regarded as hints to possible programming errors. The paper first introduces a type system which is a careful balance between rigorous type safety and pragmatic type softness. An efficient and portable implementation based on order sorted unification in Scheme is then described. We obtained very satisfactory results on realistic programs, including the programs in 'Structure and Interpretation of Computer Programs' by Abelson and Sussman.

BibTeX Entry

@mastersthesis{lindig-style-1993,
    title = "Style - ein Typ-Checker für Scheme",
    author = "Christian Lindig",
    year = "1993",
    month = sep,
    location = "D-38106 Braunschweig, Gaußstraße 17, Germany",
    school = "Technische Universität Braunschweig, Institut für Programmiersprachen und Informationssysteme,
Arbeitsgruppe Softwaretechnologie",
}

Show all publications of the Software Engineering Chair.