Sciweavers

8766 search results - page 12 / 1754

» Functional logic programming

20

ENTCS
2007

72views more ENTCS 2007»

Equivalence of Two Formal Semantics for Functional Logic Programs

13 years 8 months ago

Equivalence of Two Formal Semantics for Functional Logic Programs

Download gpd.sip.ucm.es

Francisco Javier López-Fraguas, Juan Rodr&i...

claim paper

Read More »

25

NGC
2006
Springer

82views Communications» more NGC 2006»

Database Query Languages and Functional Logic Programming

13 years 8 months ago

Database Query Languages and Functional Logic Programming

Download indalog.ual.es

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

claim paper

Read More »

22

CSUR
1998

73views more CSUR 1998»

A Unifying View of Functional and Logic Program Specialization

13 years 8 months ago

A Unifying View of Functional and Logic Program Specialization

Download users.dsic.upv.es

María Alpuente, Moreno Falaschi, Germ&aacut...

claim paper

Read More »

21

FLOPS
2004
Springer

89views Automated Reasoning» more FLOPS 2004»

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

14 years 2 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 »

27

LPAR
2001
Springer

95views Automated Reasoning» more LPAR 2001»

Functional Logic Programming with Failure: A Set-Oriented View

14 years 1 months ago

Functional Logic Programming with Failure: A Set-Oriented View

Download gpd.sip.ucm.es

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

claim paper

Read More »

« Prev « First page 12 / 1754 Last » Next »