Sciweavers

4743 search results - page 67 / 949

» Introduction to Functional Programming

22

PEPM
2007
ACM

86views Software Engineering» more PEPM 2007»

Transformation of structure-shy programs: applied to XPath queries and strategic functions

14 years 4 months ago

Transformation of structure-shy programs: applied to XPath queries and strategic functions

Download www3.di.uminho.pt

Alcino Cunha, Joost Visser

claim paper

Read More »

22

ICSEA
2006
IEEE

89views Software Engineering» more ICSEA 2006»

Automatic Generation of Functional Programs from CASL Specifications

14 years 4 months ago

Automatic Generation of Functional Programs from CASL Specifications

Download www.epigenomique.genopole.fr

Agnès Arnould, Laurent Fuchs, Marc Aiguier,...

claim paper

Read More »

23

FLOPS
2004
Springer

89views Automated Reasoning» more FLOPS 2004»

Twelf and Delphin: Logic and Functional Programming in a Meta-logical Framework

14 years 3 months ago

Twelf and Delphin: Logic and Functional Programming in a Meta-logical Framework

Download www.cs.yale.edu

Carsten Schürmann

claim paper

Read More »

32

EMSOFT
2001
Springer

121views Software Engineering» more EMSOFT 2001»

Directions in Functional Programming for Real(-Time) Applications

14 years 2 months ago

Directions in Functional Programming for Real(-Time) Applications

Download embedded.eecs.berkeley.edu

Walid Taha, Paul Hudak, Zhanyong Wan

claim paper

Read More »

20

FLOPS
2001
Springer

89views Automated Reasoning» more FLOPS 2001»

A Framework for Goal-Directed Bottom-Up Evaluation of Functional Logic Programs

14 years 2 months ago

A Framework for Goal-Directed Bottom-Up Evaluation of Functional Logic Programs

Download www.ual.es

Jesús Manuel Almendros-Jiménez, Anto...

claim paper

Read More »

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