Florida International University
Edit Your Profile
FIU Discovery
Toggle navigation
Browse
Home
People
Organizations
Scholarly & Creative Works
Research Facilities
Support
SCIENCE OF COMPUTER PROGRAMMING
Journal
Overview
Research
Identifiers
View All
Overview
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
Research
category
COMPUTER SCIENCE, SOFTWARE ENGINEERING
Category
Identifiers
International Standard Serial Number (ISSN)
0167-6423
