Search Sciweavers | Sciweavers

10575 search results - page 146 / 2115

» Programming Languages

click to vote

ICFP
2001
ACM

90views Programming Languages» more ICFP 2001»

Possibilities and Limitations of Call-by-Need Space Improvement

16 years 2 months ago

Download www.cs.chalmers.se

David Sands, Jörgen Gustavsson

claim paper

Read More »

101

click to vote

ICFP
2001
ACM

142views Programming Languages» more ICFP 2001»

Automatic Generation of Staged Geometric Predicates

16 years 2 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

16 years 2 months ago

Download www.haskell.org

Zhanyong Wan, Walid Taha, Paul Hudak

claim paper

Read More »

119

click to vote

POPL
2010
ACM

188views Programming Languages» more POPL 2010»

Decision Procedures for Algebraic Data Types with Abstractions

15 years 11 months ago

Download lara.epfl.ch

Philippe Suter, Mirco Dotta, Viktor Kuncak

claim paper

Read More »

Voted

POPL
2010
ACM

224views Programming Languages» more POPL 2010»

Modular Verification of Security Protocol Code by Typing

15 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers