Search Sciweavers | Sciweavers

10871 search results - page 205 / 2175

» A stable programming language

Voted

POPL
2011
ACM

162views Programming Languages» more POPL 2011»

Correct blame for contracts: no more scapegoating

14 years 6 months ago

Download www.ccs.neu.edu

Christos Dimoulas, Robert Bruce Findler, Cormac Fl...

claim paper

Read More »

click to vote

POPL
2011
ACM

177views Programming Languages» more POPL 2011»

Blame for all

14 years 6 months ago

Download homepages.inf.ed.ac.uk

Amal Ahmed, Robert Bruce Findler, Jeremy G. Siek, ...

claim paper

Read More »

126

Voted

POPL
2011
ACM

176views Programming Languages» more POPL 2011»

Generative type abstraction and type-level computation

14 years 6 months ago

Download www.cis.upenn.edu

Stephanie Weirich, Dimitrios Vytiniotis, Simon L. ...

claim paper

Read More »

120

Voted

POPL
2011
ACM

152views Programming Languages» more POPL 2011»

Calling context abstraction with shapes

14 years 6 months ago

Download xisa.cs.colorado.edu

Xavier Rival, Bor-Yuh Evan Chang

claim paper

Read More »

126

Voted

TOCS
2012

241views Programming Languages» more TOCS 2012»

Leveraging Core Specialization via OS Scheduling to Improve Performance on Asymmetric Multicore Systems

13 years 6 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers