Hostname: page-component-cd9895bd7-lnqnp Total loading time: 0 Render date: 2024-12-26T08:47:35.786Z Has data issue: false hasContentIssue false
  • English
  • Français

Theory and applications of subtyping: Introduction

Published online by Cambridge University Press:  01 October 2008

ADRIANA COMPAGNONI  and
HEALFDENE GOGUEN
ADRIANA COMPAGNONI
Affiliation:
Stevens Institute of Technology and Google, Inc.
HEALFDENE GOGUEN
Affiliation:
Stevens Institute of Technology and Google, Inc.
Get access Rights & Permissions [Opens in a new window]

Extract

This special issue of Mathematical Structures in Computer Science is devoted to recent work in subtyping. When subtyping was first proposed, it presented a new vehicle for understanding programming languages, together with challenging theoretical issues. The papers in this special issue include a new approach to the decidability of subtyping, a metatheoretic investigation of transitivity of coercive subtyping for parametrised dependent types, and applications of subtyping to the classic programming language concerns of flow analysis and typing for distributed systems. We believe that the scope of the papers demonstrates convincingly that the theory and practice of subtyping continue to be extended in novel and interesting ways.

Type
Paper
Information
Mathematical Structures in Computer Science , Volume 18 , Special Issue 5: Theory and applications of subtyping , October 2008 , pp. 795 - 796
Copyright
Copyright © Cambridge University Press 2008

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)