Search Sciweavers | Sciweavers

10575 search results - page 130 / 2115

» Programming Languages

click to vote

PPDP
2007
Springer

123views Programming Languages» more PPDP 2007»

Local reasoning about storable locks

15 years 4 months ago

Download research.microsoft.com

Josh Berdine

claim paper

Read More »

click to vote

PPDP
2007
Springer

116views Programming Languages» more PPDP 2007»

Type safe dynamic linking for JVM access control

15 years 4 months ago

Download www.cs.uvm.edu

Christian Skalka

claim paper

Read More »

click to vote

APLAS
2006
ACM

89views Programming Languages» more APLAS 2006»

Private Row Types: Abstracting the Unnamed

15 years 3 months ago

Download www.math.nagoya-u.ac.jp

Jacques Garrigue

claim paper

Read More »

click to vote

APLAS
2005
ACM

140views Programming Languages» more APLAS 2005»

A Typed, Compositional Logic for a Stack-Based Abstract Machine

15 years 3 months ago

Download research.microsoft.com

Nick Benton

claim paper

Read More »

click to vote

HASKELL
2005
ACM

136views Programming Languages» more HASKELL 2005»

Darcs: distributed version management in haskell

15 years 3 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers