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

@inproceedings{lindig94sagegp,
  title = {STYLE - A Practical Type Checker for Scheme},
  booktitle = {Workshop Semantikgest{\"u}tzte Analyse, Entwicklung und Generierung von
 Programmen der GI-Fachgruppe 2.1.3.},
  year = {1994},
  month = mar,
  pages = {257--269},
  author = {Christian Lindig},
}

Authors at the institute

Former Staff Member
Dr. rer. nat. Christian Lindig