Sciweavers

15 search results - page 1 / 3

» icfp 2000

164

ICFP
2000
ACM

102views Programming Languages» more ICFP 2000»

The functional guts of the Kleisli query system

15 years 12 months ago

The functional guts of the Kleisli query system

Download www.comp.nus.edu.sg

Limsoon Wong

claim paper

Read More »

171

ICFP
2000
ACM

76views Programming Languages» more ICFP 2000»

The influence of browsers on evaluators or, continuations to program web servers

15 years 11 months ago

The influence of browsers on evaluators or, continuations to program web servers

Download pagesperso-systeme.lip6.fr

Christian Queinnec

claim paper

Read More »

136

Voted

ICFP
2000
ACM

105views Programming Languages» more ICFP 2000»

QuickCheck: a lightweight tool for random testing of Haskell programs

15 years 12 months ago

QuickCheck: a lightweight tool for random testing of Haskell programs

Download www.church-project.org

Koen Claessen, John Hughes

claim paper

Read More »

154

Voted

ICFP
2000
ACM

107views Programming Languages» more ICFP 2000»

Information flow inference for free

15 years 12 months ago

Information flow inference for free

Download www.cs.ucla.edu

François Pottier, Sylvain Conchon

claim paper

Read More »

171

Voted

ICFP
2000
ACM

141views Programming Languages» more ICFP 2000»

Understanding memory allocation of scheme programs

15 years 12 months ago

Understanding memory allocation of scheme programs

Download www.hpl.hp.com

Manuel Serrano, Hans-Juergen Boehm

claim paper

Read More »

« Prev « First page 1 / 3 Last » Next »