Sciweavers

4757 search results - page 32 / 952

» Monads for Functional Programming

22

ECOOP
2004
Springer

86views Programming Languages» more ECOOP 2004»

Functional Objects

14 years 1 months ago

Functional Objects

Download www.ccs.neu.edu

Matthias Felleisen

claim paper

Read More »

21

ICFP
2000
ACM

102views Programming Languages» more ICFP 2000»

The functional guts of the Kleisli query system

13 years 12 months ago

The functional guts of the Kleisli query system

Download www.comp.nus.edu.sg

Limsoon Wong

claim paper

Read More »

23

ESOP
2006
Springer

113views Programming Languages» more ESOP 2006»

Assertion Checking over Combined Abstraction of Linear Arithmetic and Uninterpreted Functions

13 years 11 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 »

16

ICALP
2000
Springer

68views Programming Languages» more ICALP 2000»

Dispersing Hash Functions

13 years 11 months ago

Dispersing Hash Functions

Download www.it-c.dk

Rasmus Pagh

claim paper

Read More »

28

CTCS
1991
Springer

73views Programming Languages» more CTCS 1991»

Stone Duality for Stable Functions

13 years 11 months ago

Stone Duality for Stable Functions

Download www.eecs.qmul.ac.uk

Thomas Ehrhard, Pasquale Malacaria

claim paper

Read More »

« Prev « First page 32 / 952 Last » Next »