KIT | KIT-Bibliothek | Impressum

STYLE - A Practical Type Checker for Scheme

Lindig, Christian



Zugehörige Institution(en) am KIT Institut für Programmstrukturen und Datenorganisation (IPD)
Publikationstyp Proceedingsbeitrag
Jahr 1994
Sprache Englisch
Identifikator KITopen ID: 1000017637
Erschienen in Semantikgestützte Analyse, Entwicklung und Generierung von Programmen, Workshop der GI-Fachgruppe 2.1.3, Schloss Rauischholzhausen, 10. - 11.3.1994. Hrsg.: G. Snelting
Verlag Arbeitsgruppe Informatik, Justus-Liebig-Univ. Giessen
Seiten 257 - 269
Serie Bericht / Arbeitsgruppe Informatik, Justus-Liebig-Universität Giessen ; 9402
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft KITopen Landing Page