Sciweavers

10575 search results - page 150 / 2115

» T2Script Programming Language

79

ECOOP
2004
Springer

82views Programming Languages» more ECOOP 2004»

Semantic Casts: Contracts and Structural Subtyping in a Nominal World

15 years 8 months 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 »

116

Voted

ECOOP
2004
Springer

88views Programming Languages» more ECOOP 2004»

Customization of Java Library Classes Using Type Constraints and Profile Information

15 years 8 months ago

Download users.elis.ugent.be

Bjorn De Sutter, Frank Tip, Julian Dolby

claim paper

Read More »

114

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

15 years 8 months 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 »

95

ESOP
2004
Springer

115views Programming Languages» more ESOP 2004»

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

15 years 8 months 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 »

99

PLDI
2003
ACM

117views Programming Languages» more PLDI 2003»

Debugging temporal specifications with concept analysis

15 years 8 months 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 »