Sciweavers

Share
464 search results - page 2 / 93
» Session Types = Intersection Types Union Types
Sort
View
TACS
1991
Springer
9 years 7 months ago
Intersection and Union Types
Franco Barbanera, Mariangiola Dezani-Ciancaglini
TAPSOFT
1997
Springer
9 years 8 months ago
A Typed Intermediate Language for Flow-Directed Compilation
We present a typed intermediate language λCIL for optimizing compilers for function-oriented and polymorphically typed programming languages (e.g., ML). The language λCIL is a ty...
J. B. Wells, Allyn Dimock, Robert Muller, Franklyn...
JFP
2002
108views more  JFP 2002»
9 years 3 months ago
A calculus with polymorphic and polyvariant flow types
We present CIL , a typed -calculus which serves as the foundation for a typed intermediate language for optimizing compilers for higher-order polymorphic programming languages. Th...
J. B. Wells, Allyn Dimock, Robert Muller, Franklyn...
books