Search Sciweavers | Sciweavers

9595 search results - page 189 / 1919

» Functional programming in C

120

click to vote

FLOPS
2004
Springer

89views Automated Reasoning» more FLOPS 2004»

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

15 years 12 months ago

Download www.cs.yale.edu

Carsten Schürmann

claim paper

Read More »

170

click to vote

EMSOFT
2001
Springer

121views Software Engineering» more EMSOFT 2001»

Directions in Functional Programming for Real(-Time) Applications

15 years 11 months ago

Download embedded.eecs.berkeley.edu

Walid Taha, Paul Hudak, Zhanyong Wan

claim paper

Read More »

119

click to vote

FLOPS
2001
Springer

89views Automated Reasoning» more FLOPS 2001»

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

15 years 11 months ago

Download www.ual.es

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

claim paper

Read More »

162

click to vote

LPAR
2001
Springer

95views Automated Reasoning» more LPAR 2001»

Functional Logic Programming with Failure: A Set-Oriented View

15 years 11 months ago

Download gpd.sip.ucm.es

Francisco Javier López-Fraguas, Jaime S&aac...

claim paper

Read More »

129

click to vote

RTA
2001
Springer

103views Theoretical Computer Science» more RTA 2001»

Relating Accumulative and Non-accumulative Functional Programs

15 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers