Search Sciweavers | Sciweavers

1932 search results - page 20 / 387

» A Functional Quantum Programming Language

click to vote

DEXA
1994
Springer

92views Database» more DEXA 1994»

OR-SML: A Functional Database Programming Language for Disjunctive Information and Its Applications

15 years 1 months ago

Download homepages.inf.ed.ac.uk

We describe a functional database language OR-SML for handling disjunctive information in database queries, and its implementation on top of Standard ML 12]. The core language has ...

Elsa L. Gunter, Leonid Libkin

claim paper

Read More »

click to vote

APPINF
2003

247views Information Technology» more APPINF 2003»

Why Functional Programming Really Matters

14 years 11 months ago

Download www.itee.uq.edu.au

The significance of functional programming is revealed as that the feasible approach to language extensibility which it enables is further applicable to programming in general and...

Paul A. Bailes, Colin J. M. Kemp, Ian Peake, Sean ...

claim paper

Read More »

click to vote

ELP
1989

84views Logical Reasoning» more ELP 1989»

A Logic Programming Language with Lambda-Abstraction, Function Variables, and Simple Unification

15 years 1 months ago

Download www.lix.polytechnique.fr

BSTRACTION, FUNCTION VARIABLES, AND SIMPLE UNIFICATION: Abstract Draft, 20 September 1989 Dale Miller Department of Computer and Information Science University of Pennsylvania Phil...

Dale Miller

claim paper

Read More »

click to vote

CSUR
2006

73views more CSUR 2006»

Realization of natural language interfaces using lazy functional programming

14 years 9 months ago