Sciweavers

TACS
1997
Springer
13 years 10 months ago
Type System for Specializing Polymorphism
Abstract. Flexibility of programming and efficiency of program execution are two important features of a programming language. Unfortunately, however, there is an inherent conflict...
Atsushi Ohori
TACS
1997
Springer
13 years 10 months ago
Sets in Types, Types in Sets
Benjamin Werner
TACS
1997
Springer
13 years 10 months ago
Comparing Object Encodings
Kim B. Bruce, Luca Cardelli, Benjamin C. Pierce
TACS
1997
Springer
13 years 10 months ago
Optimal Representations of Polymorphic Types with Subtyping (Extended Abstract)
d Abstract) Alexander Aiken1 and Edward L. Wimmers2 and Jens Palsberg3 1 EECS Department, University of California at Berkeley, Berkeley, CA 94720-1776. 2 IBM Almaden Research Cent...
Alexander Aiken, Edward L. Wimmers, Jens Palsberg
TACS
1997
Springer
13 years 10 months ago
A Type-Theoretic Approach to Deadlock-Freedom of Asynchronous Systems
We present a type-based technique for the veri cation of deadlock-freedom in asynchronous concurrent systems. Our general approach is to start with a simple interaction category, i...
Samson Abramsky, Simon J. Gay, Rajagopal Nagarajan