Sciweavers
Explore
Publications
Books
Software
Tutorials
Presentations
Lectures Notes
Datasets
Labs
Conferences
Community
Upcoming
Conferences
Top Ranked Papers
Most Viewed Conferences
Conferences by Acronym
Conferences by Subject
Conferences by Year
Tools
PDF Tools
Image Tools
Text Tools
OCR Tools
Symbol and Emoji Tools
On-screen Keyboard
Latex Math Equation to Image
Smart IPA Phonetic Keyboard
Community
Sciweavers
About
Terms of Use
Privacy Policy
Cookies
10871
search results - page 133 / 2175
»
A stable programming language
Sort
relevance
views
votes
recent
update
View
thumb
title
145
click to vote
HASKELL
2008
ACM
133
views
Programming Languages
»
more
HASKELL 2008
»
Smallcheck and lazy smallcheck: automatic exhaustive testing for small values
15 years 7 months ago
Download
www.cs.york.ac.uk
Colin Runciman, Matthew Naylor, Fredrik Lindblad
claim paper
Read More »
134
click to vote
HASKELL
2008
ACM
128
views
Programming Languages
»
more
HASKELL 2008
»
Haskell, do you read me?: constructing and composing efficient top-down parsers at runtime
15 years 7 months ago
Download
www.haskell.org
Marcos Viera, S. Doaitse Swierstra, Eelco Lempsink
claim paper
Read More »
130
click to vote
APLAS
2010
ACM
106
views
Programming Languages
»
more
APLAS 2010
»
Relational Parametricity for a Polymorphic Linear Lambda Calculus
15 years 6 months ago
Download
www.cis.upenn.edu
Jianzhou Zhao, Qi Zhang, Steve Zdancewic
claim paper
Read More »
141
click to vote
ICFP
2010
ACM
126
views
Programming Languages
»
more
ICFP 2010
»
Rethinking supercompilation
15 years 6 months ago
Download
community.haskell.org
Neil Mitchell
claim paper
Read More »
154
click to vote
ICALP
2010
Springer
144
views
Programming Languages
»
more
ICALP 2010
»
Data Stream Algorithms for Codeword Testing
15 years 6 months ago
Download
www.acsu.buffalo.edu
Atri Rudra, Steve Uurtamo
claim paper
Read More »
« Prev
« First
page 133 / 2175
Last »
Next »
