Sciweavers

5863 search results - page 31 / 1173

» Calculating Functional Programs

20

PPDP
2000
Springer

80views Programming Languages» more PPDP 2000»

Type-based nondeterminism checking in functional logic programs

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

24

ICFP
2002
ACM

101views Programming Languages» more ICFP 2002»

Contracts for higher-order functions

14 years 8 months ago

Contracts for higher-order functions

Download www.eecs.northwestern.edu

Robert Bruce Findler, Matthias Felleisen

claim paper

Read More »

« Prev « First page 31 / 1173 Last » Next »