Search Sciweavers | Sciweavers

9595 search results - page 70 / 1919

» Functional programming in C

114

Voted

POPL
2011
ACM

208views Programming Languages» more POPL 2011»

Mathematizing C++ concurrency

14 years 5 months ago

Download www.cl.cam.ac.uk

Shared-memory concurrency in C and C++ is pervasive in systems programming, but has long been poorly deﬁned. This motivated an ongoing shared effort by the standards committees ...

Mark Batty, Scott Owens, Susmit Sarkar, Peter Sewe...

claim paper

Read More »

click to vote

ICFP
2002
ACM

101views Programming Languages» more ICFP 2002»

Contracts for higher-order functions

16 years 2 months ago

Download www.eecs.northwestern.edu

Robert Bruce Findler, Matthias Felleisen

claim paper

Read More »

106

click to vote

ICFP
2009
ACM

140views Programming Languages» more ICFP 2009»

Control-flow analysis of function calls and returns by abstract interpretation

15 years 9 months ago

Download www.irisa.fr

Jan Midtgaard, Thomas P. Jensen

claim paper

Read More »

click to vote

ECOOP
2004
Springer

86views Programming Languages» more ECOOP 2004»

Functional Objects

15 years 7 months ago

Download www.ccs.neu.edu

Matthias Felleisen

claim paper

Read More »

click to vote

ICFP
2000
ACM

102views Programming Languages» more ICFP 2000»

The functional guts of the Kleisli query system

15 years 6 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers