Sciweavers

1021 search results - page 6 / 205

» Pure Subtype Systems

25

TACS
1997
Springer

89views Software Engineering» more TACS 1997»

System F with Width-Subtyping and Record Updating

13 years 11 months ago

System F with Width-Subtyping and Record Updating

Download www.cs.ru.nl

Erik Poll

claim paper

Read More »

20

PEPM
1995
ACM

107views Software Engineering» more PEPM 1995»

Effect Systems with Subtyping

13 years 11 months ago

Effect Systems with Subtyping

Download www.cs.ucla.edu

Yan Mei Tang, Pierre Jouvelot

claim paper

Read More »

14

PDPTA
2000

97views Distributed And Parallel Com...» more PDPTA 2000»

Multiple Subtyping in a Persistent Distributed Shared Memory Operating System

13 years 9 months ago

Multiple Subtyping in a Persistent Distributed Shared Memory Operating System

Download www.plurix.de

Michael Schöttner, Oliver Schirpf, Moritz Wen...

claim paper

Read More »

36

ICFP
1997
ACM

151views Programming Languages» more ICFP 1997»

Foundations for the Implementation of Higher-Order Subtyping

13 years 12 months ago

Foundations for the Implementation of Higher-Order Subtyping

Download www.cs.cornell.edu

We show how to implement a calculus with higher-order subtyping and subkinding by replacing uses of implicit subsumption with explicit coercions. To ensure this can be done, a pol...

Karl Crary

claim paper

Read More »

26

SCP
2002

119views more SCP 2002»

Polymorphic subtyping in O'Haskell

13 years 7 months ago

Polymorphic subtyping in O'Haskell

Download staff.www.ltu.se

O'Haskell is a programming language derived from Haskell by the addition of concurrent reactive objects and subtyping. Because Haskell already encompasses an advanced type sy...

Johan Nordlander

claim paper

Read More »

« Prev « First page 6 / 205 Last » Next »