A4 Article in conference proceedings
On Typechecking B (2003)


Kaijanaho, A.-J. (2003). On Typechecking B. In P. Kilpeläinen, & N. Päivinen (Eds.), Proceedings of the Eighth Symposium on Programming Languages and Software Tools SPLST'03, Kuopio, Finland, June 17-18, 2003 (pp. 34-44). Department of Computer Science, University of Kuopio. Department of Computer Science Report Series A, A/2003/1.


JYU authors or editors


Publication details

All authors or editorsKaijanaho, Antti-Juhani

Parent publicationProceedings of the Eighth Symposium on Programming Languages and Software Tools SPLST'03, Kuopio, Finland, June 17-18, 2003

Parent publication editorsKilpeläinen, Pekka; Päivinen, Niina

ISBN951-781-265-5

Journal or seriesDepartment of Computer Science Report Series A

ISSN0787-6416

Publication year2003

Number in seriesA/2003/1

Pages range34-44

PublisherDepartment of Computer Science, University of Kuopio

Place of PublicationKuopio

Publication countryFinland

Publication languageEnglish

Publication open accessNot open

Publication channel open access


Fields of science:


Contributing organizations


Ministry reportingYes

Preliminary JUFO ratingNot rated


Last updated on 2023-27-01 at 13:03