Search Sciweavers | Sciweavers

12452 search results - page 45 / 2491

» An exploration of program as language

click to vote

TOOLS
2000
IEEE

113views Programming Languages» more TOOLS 2000»

Programming with Patterns

15 years 2 months ago

Download homepages.cwi.nl

Peter Forbrig, Ralf Lämmel

claim paper

Read More »

click to vote

ICFP
2000
ACM

105views Programming Languages» more ICFP 2000»

QuickCheck: a lightweight tool for random testing of Haskell programs

15 years 2 months ago

Download www.church-project.org

Koen Claessen, John Hughes

claim paper

Read More »

click to vote

ICFP
2000
ACM

141views Programming Languages» more ICFP 2000»

Understanding memory allocation of scheme programs

15 years 2 months ago

Download www.hpl.hp.com

Manuel Serrano, Hans-Juergen Boehm

claim paper

Read More »

click to vote

POPL
1999
ACM

88views Programming Languages» more POPL 1999»

Stochastic Processes as Concurrent Constraint Programs

15 years 2 months ago

Download www-cs-students.stanford.edu

Vineet Gupta, Radha Jagadeesan, Prakash Panangaden

claim paper

Read More »

click to vote

POPL
1999
ACM

114views Programming Languages» more POPL 1999»

Dependent Types in Practical Programming

15 years 2 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers