Search Sciweavers | Sciweavers

7661 search results - page 67 / 1533

» Languages and the Computing Profession

152

click to vote

ICFP
2000
ACM

113views Programming Languages» more ICFP 2000»

Intersection types and computational effects

15 years 10 months ago

Download www.cs.cmu.edu

We show that standard formulations of intersection type systems are unsound in the presence of computational eﬀects, and propose a solution similar to the value restriction for ...

Rowan Davies, Frank Pfenning

claim paper

Read More »

109

click to vote

SAC
2010
ACM

131views Applied Computing» more SAC 2010»

Embedded contract languages

16 years 1 months ago

Download research.microsoft.com

Manuel Fähndrich, Michael Barnett, Francesco ...

claim paper

Read More »

133

click to vote

SAC
2009
ACM

86views Applied Computing» more SAC 2009»

Troll, a language for specifying dice-rolls

16 years 29 days ago

Download www.diku.dk

Torben Æ. Mogensen

claim paper

Read More »

127

click to vote

IPPS
2009
IEEE

103views Distributed And Parallel Com...» more IPPS 2009»

ARMLang: A language and compiler for programming reconfigurable mesh many-cores

16 years 25 days ago

Download www.multicoreinfo.com

Heiner Giefers, Marco Platzner

claim paper

Read More »

109

click to vote

ICTAC
2009
Springer

129views Applied Computing» more ICTAC 2009»

The PlusCal Algorithm Language

16 years 22 days ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers