HOME | DEUTSCH | IMPRESSUM | KIT

Conference Papers: STYLE - A Practical Type Checker for Scheme

[lindig94sagegp]Christian Lindig, STYLE - A Practical Type Checker for Scheme, Workshop Semantikgestützte Analyse, Entwicklung und Generierung von Programmen der GI-Fachgruppe 2.1.3., pp. 257--269, March 1994.

Download

  [PDF]

BibTeX

Authors at the institute

Former Staff Member
Dr. rer. nat. Christian Lindig