Sciweavers

4743 search results - page 22 / 949

» Introduction to Functional Programming

24

ECOOP
2004
Springer

86views Programming Languages» more ECOOP 2004»

Functional Objects

14 years 3 months ago

Functional Objects

Download www.ccs.neu.edu

Matthias Felleisen

claim paper

Read More »

26

ICFP
2000
ACM

102views Programming Languages» more ICFP 2000»

The functional guts of the Kleisli query system

14 years 2 months ago

The functional guts of the Kleisli query system

Download www.comp.nus.edu.sg

Limsoon Wong

claim paper

Read More »

24

ESOP
2006
Springer

113views Programming Languages» more ESOP 2006»

Assertion Checking over Combined Abstraction of Linear Arithmetic and Uninterpreted Functions

14 years 1 months ago

Assertion Checking over Combined Abstraction of Linear Arithmetic and Uninterpreted Functions

Download research.microsoft.com

Sumit Gulwani, Ashish Tiwari

claim paper

Read More »

29

ICALP
2000
Springer

68views Programming Languages» more ICALP 2000»

Dispersing Hash Functions

14 years 1 months ago

Dispersing Hash Functions

Download www.it-c.dk

Rasmus Pagh

claim paper

Read More »

35

CTCS
1991
Springer

73views Programming Languages» more CTCS 1991»

Stone Duality for Stable Functions

14 years 1 months ago

Stone Duality for Stable Functions

Download www.eecs.qmul.ac.uk

Thomas Ehrhard, Pasquale Malacaria

claim paper

Read More »

« Prev « First page 22 / 949 Last » Next »