Search Sciweavers | Sciweavers

12452 search results - page 150 / 2491

» An exploration of program as language

155

click to vote

HASKELL
2008
ACM

133views Programming Languages» more HASKELL 2008»

Smallcheck and lazy smallcheck: automatic exhaustive testing for small values

15 years 8 months ago

Download www.cs.york.ac.uk

Colin Runciman, Matthew Naylor, Fredrik Lindblad

claim paper

Read More »

148

click to vote

HASKELL
2008
ACM

128views Programming Languages» more HASKELL 2008»

Haskell, do you read me?: constructing and composing efficient top-down parsers at runtime

15 years 8 months ago

Download www.haskell.org

Marcos Viera, S. Doaitse Swierstra, Eelco Lempsink

claim paper

Read More »

136

Voted

APLAS
2010
ACM

106views Programming Languages» more APLAS 2010»

Relational Parametricity for a Polymorphic Linear Lambda Calculus

15 years 7 months ago

Download www.cis.upenn.edu

Jianzhou Zhao, Qi Zhang, Steve Zdancewic

claim paper

Read More »

152

click to vote

ICFP
2010
ACM

126views Programming Languages» more ICFP 2010»

Rethinking supercompilation

15 years 7 months ago

Download community.haskell.org

Neil Mitchell

claim paper

Read More »

165

click to vote

ICALP
2010
Springer

144views Programming Languages» more ICALP 2010»

Data Stream Algorithms for Codeword Testing

15 years 7 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers