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
12452
search results - page 150 / 2491
»
An exploration of program as language
Sort
relevance
views
votes
recent
update
View
thumb
title
150
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 »
140
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 »
132
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 »
144
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 »
155
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 150 / 2491
Last »
Next »
