Sciweavers

4743 search results - page 20 / 949

» Introduction to Functional Programming

23

ICFP
2001
ACM

137views Programming Languages» more ICFP 2001»

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

14 years 9 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 »

29

PADL
1999
Springer

130views Programming Languages» more PADL 1999»

Applying Logic Programming to Derive Novel Functional Information of Genomes

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

24

POPL
1993
ACM

87views Programming Languages» more POPL 1993»

Imperative Functional Programming

14 years 1 months ago

Imperative Functional Programming

Download home.in.tum.de

Simon L. Peyton Jones, Philip Wadler

claim paper

Read More »

25

APLAS
2001
ACM

101views Programming Languages» more APLAS 2001»

Functional Quantum Programming

14 years 1 months ago

Functional Quantum Programming

Download www.cs.ioc.ee

Shin-Cheng Mu, Richard S. Bird

claim paper

Read More »

21

PPDP
2000
Springer

80views Programming Languages» more PPDP 2000»

Type-based nondeterminism checking in functional logic programs

14 years 1 months ago

Type-based nondeterminism checking in functional logic programs

Download eref.uqu.edu.sa

Michael Hanus, Frank Steiner

claim paper

Read More »

« Prev « First page 20 / 949 Last » Next »