Search Sciweavers | Sciweavers

10871 search results - page 178 / 2175

» A stable programming language

click to vote

ECOOP
2004
Springer

82views Programming Languages» more ECOOP 2004»

Semantic Casts: Contracts and Structural Subtyping in a Nominal World

14 years 4 months ago

Download www.cs.utah.edu

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

claim paper

Read More »

click to vote

ECOOP
2004
Springer

88views Programming Languages» more ECOOP 2004»

Customization of Java Library Classes Using Type Constraints and Profile Information

14 years 4 months ago

Download users.elis.ugent.be

Bjorn De Sutter, Frank Tip, Julian Dolby

claim paper

Read More »

click to vote

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

14 years 4 months ago

Download www.macs.hw.ac.uk

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

claim paper

Read More »

click to vote

ESOP
2004
Springer

115views Programming Languages» more ESOP 2004»

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

14 years 4 months ago

Download www.macs.hw.ac.uk

Tom Hirschowitz, Xavier Leroy, J. B. Wells

claim paper

Read More »

click to vote

PLDI
2003
ACM

117views Programming Languages» more PLDI 2003»

Debugging temporal specifications with concept analysis

14 years 3 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers