Sciweavers

1932 search results - page 9 / 387

» A Functional Quantum Programming Language

97

Voted

ICFP
2001
ACM

137views Programming Languages» more ICFP 2001»

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

16 years 2 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 »

103

Voted

PADL
1999
Springer

130views Programming Languages» more PADL 1999»

Applying Logic Programming to Derive Novel Functional Information of Genomes

15 years 6 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 »

87

POPL
1993
ACM

87views Programming Languages» more POPL 1993»

Imperative Functional Programming

15 years 6 months ago

Imperative Functional Programming

Download home.in.tum.de

Simon L. Peyton Jones, Philip Wadler

claim paper

Read More »

93

Voted

PPDP
2000
Springer

80views Programming Languages» more PPDP 2000»

Type-based nondeterminism checking in functional logic programs

15 years 6 months ago

Type-based nondeterminism checking in functional logic programs

Download eref.uqu.edu.sa

Michael Hanus, Frank Steiner

claim paper

Read More »

84

FPLE
1995

144views Programming Languages» more FPLE 1995»

Elementary Strong Functional Programming

15 years 6 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 »