Sciweavers

4895 search results - page 40 / 979

» Functional Quantum Programming

20

PPDP
2000
Springer

80views Programming Languages» more PPDP 2000»

Type-based nondeterminism checking in functional logic programs

14 years 11 days ago

Type-based nondeterminism checking in functional logic programs

Download eref.uqu.edu.sa

Michael Hanus, Frank Steiner

claim paper

Read More »

23

FPLE
1995

144views Programming Languages» more FPLE 1995»

Elementary Strong Functional Programming

14 years 11 days ago

Elementary Strong Functional Programming

Download www.eis.mdx.ac.uk

D. A. Turner

claim paper

Read More »

20

CEFP
2009
Springer

141views Programming Languages» more CEFP 2009»

Functional Programming with C++ Template Metaprograms

13 years 6 months ago

Functional Programming with C++ Template Metaprograms

Download aszt.inf.elte.hu

Zoltán Porkoláb

claim paper

Read More »

17

ICFP
2004
ACM

82views Programming Languages» more ICFP 2004»

Functional morphology

14 years 8 months ago

Functional morphology

Download www.cs.chalmers.se

Markus Forsberg, Aarne Ranta

claim paper

Read More »

29

JCSS
2008

120views more JCSS 2008»

Quantum certificate complexity

13 years 8 months ago

Quantum certificate complexity

Download www.scottaaronson.com

Given a Boolean function f, we study two natural generalizations of the certificate complexity C (f): the randomized certificate complexity RC (f) and the quantum certificate comp...

Scott Aaronson

claim paper

Read More »

« Prev « First page 40 / 979 Last » Next »