Science of Computer Programming

Edit Your Profile

Science of Computer Programming Journal

publication venue for

A sound polymorphic type system for a dialect of C. 32:49-72. 1998
Principal type schemes for functional programs with overloading and subtyping. 23:197-226. 1994
Tool demonstration track of MODELS'2016 2017

International Standard Serial Number (ISSN)

0167-6423

Electronic International Standard Serial Number (EISSN)

1872-7964