Search Sciweavers | Sciweavers

10666 search results - page 170 / 2134

» Quantum programming languages

click to vote

ICFP
2001
ACM

90views Programming Languages» more ICFP 2001»

Possibilities and Limitations of Call-by-Need Space Improvement

14 years 10 months ago

Download www.cs.chalmers.se

David Sands, Jörgen Gustavsson

claim paper

Read More »

click to vote

ICFP
2001
ACM

142views Programming Languages» more ICFP 2001»

Automatic Generation of Staged Geometric Predicates

14 years 10 months ago

Download www.aladdin.cs.cmu.edu

Aleksandar Nanevski, Guy E. Blelloch, Robert Harpe...

claim paper

Read More »

click to vote

ICFP
2001
ACM

107views Programming Languages» more ICFP 2001»

Real-Time FRP

14 years 10 months ago

Download www.haskell.org

Zhanyong Wan, Walid Taha, Paul Hudak

claim paper

Read More »

click to vote

POPL
2010
ACM

188views Programming Languages» more POPL 2010»

Decision Procedures for Algebraic Data Types with Abstractions

14 years 7 months ago

Download lara.epfl.ch

Philippe Suter, Mirco Dotta, Viktor Kuncak

claim paper

Read More »

click to vote

POPL
2010
ACM

224views Programming Languages» more POPL 2010»

Modular Verification of Security Protocol Code by Typing

14 years 7 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers