Sciweavers

1932 search results - page 9 / 387

» A Functional Quantum Programming Language

138

Voted

ICFP
2001
ACM

137views Programming Languages» more ICFP 2001»

A Fresh Approach to Representing Syntax with Static Binders in Functional Programming

16 years 5 months ago

A Fresh Approach to Representing Syntax with Static Binders in Functional Programming

Download www.cl.cam.ac.uk

Andrew M. Pitts

claim paper

Read More »

141

Voted

PADL
1999
Springer

130views Programming Languages» more PADL 1999»

Applying Logic Programming to Derive Novel Functional Information of Genomes

15 years 10 months ago

Applying Logic Programming to Derive Novel Functional Information of Genomes

Download www.cs.kent.edu

Arvind K. Bansal, Peer Bork

claim paper

Read More »

126

Voted

POPL
1993
ACM

87views Programming Languages» more POPL 1993»

Imperative Functional Programming

15 years 10 months ago

Imperative Functional Programming

Download home.in.tum.de

Simon L. Peyton Jones, Philip Wadler

claim paper

Read More »

123

Voted

PPDP
2000
Springer

80views Programming Languages» more PPDP 2000»

Type-based nondeterminism checking in functional logic programs

15 years 9 months ago

Type-based nondeterminism checking in functional logic programs

Download eref.uqu.edu.sa

Michael Hanus, Frank Steiner

claim paper

Read More »

118

Voted

FPLE
1995

144views Programming Languages» more FPLE 1995»

Elementary Strong Functional Programming

15 years 9 months ago

Elementary Strong Functional Programming

Download www.eis.mdx.ac.uk

D. A. Turner

claim paper

Read More »

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