Search Sciweavers | Sciweavers

10871 search results - page 184 / 2175

» A stable programming language

click to vote

POPL
2000
ACM

130views Programming Languages» more POPL 2000»

Implicit Parameters: Dynamic Scoping with Static Types

14 years 3 months ago

Download research.microsoft.com

Jeffrey R. Lewis, John Launchbury, Erik Meijer, Ma...

claim paper

Read More »

click to vote

TOOLS
1999
IEEE

73views Programming Languages» more TOOLS 1999»

Constructing Interoperable Components in Distributed Systems

14 years 3 months ago

Download www.jos.org.cn

Sea Ling, Heinz W. Schmidt, Rohan Fletcher

claim paper

Read More »

click to vote

TOOLS
1999
IEEE

98views Programming Languages» more TOOLS 1999»

Architecture = Abstractions over Software

14 years 3 months ago

Download www.mip.sdu.dk

Eyðun Eli Jacobsen, Bent Bruun Kristensen, Pal...

claim paper

Read More »

click to vote

TOOLS
1999
IEEE

80views Programming Languages» more TOOLS 1999»

Software Evolution: Prototypical Deltas

14 years 3 months ago

Download www.mip.sdu.dk

Eyðun Eli Jacobsen, Bent Bruun Kristensen, Pal...

claim paper

Read More »

click to vote

TOOLS
1999
IEEE

84views Programming Languages» more TOOLS 1999»

A Formal Software Development Approach Based on COOZ and Refinement Calculus

14 years 3 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers