Search Sciweavers | Sciweavers

5863 search results - page 47 / 1173

» Calculating Functional Programs

click to vote

Book

630views

Introduction to Functional Programming

15 years 8 months ago

Download www.cl.cam.ac.uk

"These are the lecture notes accompanying the course Introduction to Functional Programming, which I taught at Cambridge University in the academic year 1996/1997."

John Harrison

posted by scimaster

Read More »

click to vote

ECOOP
2012
Springer

266views Programming Languages» more ECOOP 2012»

Evaluating the Design of the R Language - Objects and Functions for Data Analysis

12 years 11 days ago

Download www.cs.purdue.edu

R is a dynamic language for statistical computing that combines lazy functional features and object-oriented programming. This rather unlikely linguistic cocktail would probably ne...

Floréal Morandat, Brandon Hill, Leo Osvald,...

claim paper

Read More »

click to vote

ICLP
2009
Springer

113views Automated Reasoning» more ICLP 2009»

Qualified Computations in Functional Logic Programming

14 years 10 months ago

Download gpd.sip.ucm.es

Abstract. Qualification has been recently introduced as a generalization of uncertainty in the field of Logic Programming. In this paper we investigate a more expressive language f...

Rafael Caballero, Mario Rodríguez-Artalejo,...

claim paper

Read More »

click to vote

PPDP
1999
Springer

127views Programming Languages» more PPDP 1999»

Functional Plus Logic Programming with Built-In and Symbolic Constraints

14 years 2 months ago

Download gpd.sip.ucm.es

Puri Arenas-Sánchez, Francisco Javier L&oac...

claim paper

Read More »