Sciweavers

1932 search results - page 11 / 387

» A Functional Quantum Programming Language

100

Voted

ICFP
2000
ACM

102views Programming Languages» more ICFP 2000»

The functional guts of the Kleisli query system

15 years 7 months ago

The functional guts of the Kleisli query system

Download www.comp.nus.edu.sg

Limsoon Wong

claim paper

Read More »

112

Voted

ICALP
2000
Springer

68views Programming Languages» more ICALP 2000»

Dispersing Hash Functions

15 years 6 months ago

Dispersing Hash Functions

Download www.it-c.dk

Rasmus Pagh

claim paper

Read More »

113

Voted

CTCS
1991
Springer

73views Programming Languages» more CTCS 1991»

Stone Duality for Stable Functions

15 years 6 months ago

Stone Duality for Stable Functions

Download www.eecs.qmul.ac.uk

Thomas Ehrhard, Pasquale Malacaria

claim paper

Read More »

154

Voted

LOGCOM
2011

235views Programming Languages» more LOGCOM 2011»

Relations Versus Functions at the Foundations of Logic: Type-Theoretic Considerations

14 years 5 months ago

Relations Versus Functions at the Foundations of Logic: Type-Theoretic Considerations

Download mally.stanford.edu

Paul E. Oppenheimer, Edward N. Zalta

claim paper

Read More »

97

Voted

JMLR
2012

152views Programming Languages» more JMLR 2012»

Learning Fourier Sparse Set Functions

13 years 5 months ago

Learning Fourier Sparse Set Functions

Download las.ethz.ch

Peter Stobbe, Andreas Krause

claim paper

Read More »

« Prev « First page 11 / 387 Last » Next »