Sciweavers

27 search results - page 1 / 6

» icfp 2009

210

Voted

ICFP
2009
ACM

136views Programming Languages» more ICFP 2009»

Beautiful differentiation

16 years 4 months ago

Beautiful differentiation

Download conal.net

Conal M. Elliott

claim paper

Read More »

227

ICFP
2009
ACM

108views Programming Languages» more ICFP 2009»

A universe of binding and computation

16 years 4 months ago

A universe of binding and computation

Download www.cs.cmu.edu

Daniel R. Licata, Robert Harper

claim paper

Read More »

117

ICFP
2009
ACM

140views Programming Languages» more ICFP 2009»

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

15 years 10 months ago

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

Download www.irisa.fr

Jan Midtgaard, Thomas P. Jensen

claim paper

Read More »

145

HPCA
2009
IEEE

151views Distributed And Parallel Com...» more HPCA 2009»

iCFP: Tolerating all-level cache misses in in-order processors

16 years 4 months ago

iCFP: Tolerating all-level cache misses in in-order processors

Download www.seas.upenn.edu

Growing concerns about power have revived interest in in-order pipelines. In-order pipelines sacrifice single-thread performance. Specifically, they do not allow execution to flow...

Andrew D. Hilton, Santosh Nagarakatte, Amir Roth

claim paper

Read More »

221

Voted

ICFP
2009
ACM

106views Programming Languages» more ICFP 2009»

Generic programming with fixed points for mutually recursive datatypes

16 years 4 months ago

Generic programming with fixed points for mutually recursive datatypes

Download sneezy.cs.nott.ac.uk

Alexey Rodriguez Yakushev, Andres Löh, Johan ...

claim paper

Read More »

« Prev « First page 1 / 6 Last » Next »