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

13 years 11 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

13 years 11 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

13 years 11 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

13 years 11 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

13 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers