Search Sciweavers | Sciweavers

21 search results - page 1 / 5

» flops 2010

click to vote

FLOPS
2010
Springer

246views Automated Reasoning» more FLOPS 2010»

Delimited Control in OCaml, Abstractly and Concretely: System Description

14 years 5 months ago

Download okmij.org

Oleg Kiselyov

claim paper

Read More »

click to vote

FLOPS
2010
Springer

272views Automated Reasoning» more FLOPS 2010»

Automatic Parallelization of Recursive Functions Using Quantifier Elimination

14 years 5 months ago

Download www.riec.tohoku.ac.jp

Akimasa Morihata, Kiminori Matsuzaki

claim paper

Read More »

click to vote

FLOPS
2010
Springer

312views Automated Reasoning» more FLOPS 2010»

Haskell Type Constraints Unleashed

14 years 5 months ago

Download www.cl.cam.ac.uk

Dominic A. Orchard, Tom Schrijvers

claim paper

Read More »

click to vote

FLOPS
2010
Springer

262views Automated Reasoning» more FLOPS 2010»

Defunctionalized Interpreters for Call-by-Need Evaluation

14 years 5 months ago

Download www.zerny.dk

Olivier Danvy, Kevin Millikin, Johan Munk, Ian Zer...

claim paper

Read More »

click to vote

FLOPS
2010
Springer

310views Automated Reasoning» more FLOPS 2010»

PiSigma: Dependent Types without the Sugar

14 years 5 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers