Sciweavers

10575 search results - page 150 / 2115

» T2Script Programming Language

123

ECOOP
2004
Springer

82views Programming Languages» more ECOOP 2004»

Semantic Casts: Contracts and Structural Subtyping in a Nominal World

16 years 5 days ago

Semantic Casts: Contracts and Structural Subtyping in a Nominal World

Download www.cs.utah.edu

Robert Bruce Findler, Matthew Flatt, Matthias Fell...

claim paper

Read More »

161

ECOOP
2004
Springer

88views Programming Languages» more ECOOP 2004»

Customization of Java Library Classes Using Type Constraints and Profile Information

16 years 5 days ago

Download users.elis.ugent.be

Bjorn De Sutter, Frank Tip, Julian Dolby

claim paper

Read More »

166

ESOP
2004
Springer

96views Programming Languages» more ESOP 2004»

System E: Expansion Variables for Flexible Typing with Linear and Non-linear Types and Intersection Types

16 years 4 days ago

System E: Expansion Variables for Flexible Typing with Linear and Non-linear Types and Intersection Types

Download www.macs.hw.ac.uk

Sébastien Carlier, Jeff Polakow, J. B. Well...

claim paper

Read More »

137

ESOP
2004
Springer

115views Programming Languages» more ESOP 2004»

Call-by-Value Mixin Modules: Reduction Semantics, Side Effects, Types

16 years 4 days ago

Call-by-Value Mixin Modules: Reduction Semantics, Side Effects, Types

Download www.macs.hw.ac.uk

Tom Hirschowitz, Xavier Leroy, J. B. Wells

claim paper

Read More »

144

PLDI
2003
ACM

117views Programming Languages» more PLDI 2003»

Debugging temporal specifications with concept analysis

16 years 17 hour ago

Debugging temporal specifications with concept analysis

Download chess.eecs.berkeley.edu

Glenn Ammons, David Mandelin, Rastislav Bodí...

claim paper

Read More »

« Prev « First page 150 / 2115 Last » Next »