Functional and Logic Programming - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

23

(FIVE YEARS 0)

H-INDEX

6

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540789680, 9783540789697

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Quantitative Logic Programming Revisited

Functional and Logic Programming - Lecture Notes in Computer Science ◽

10.1007/978-3-540-78969-7_20 ◽

2008 ◽

pp. 272-288 ◽

Author(s):

Mario Rodríguez-Artalejo ◽

Carlos A. Romero-Díaz

Keyword(s):

Logic Programming

Download Full-text

Undoing Dynamic Typing (Declarative Pearl)

Functional and Logic Programming - Lecture Notes in Computer Science ◽

10.1007/978-3-540-78969-7_17 ◽

2008 ◽

pp. 224-238 ◽

Author(s):

Nick Benton

Keyword(s):

Download Full-text

Types for Hereditary Head Normalizing Terms

Functional and Logic Programming - Lecture Notes in Computer Science ◽

10.1007/978-3-540-78969-7_15 ◽

2008 ◽

pp. 195-209 ◽

Author(s):

Makoto Tatsuta

Download Full-text

Semantics and Pragmatics of New Shortcut Fusion Rules

Functional and Logic Programming - Lecture Notes in Computer Science ◽

10.1007/978-3-540-78969-7_13 ◽

2008 ◽

pp. 163-179 ◽

Author(s):

Janis Voigtländer

Keyword(s):

Fusion Rules ◽

Semantics And Pragmatics ◽

Shortcut Fusion

Download Full-text

Model-Based Knowledge Representation and Reasoning Via Answer Set Programming

Functional and Logic Programming - Lecture Notes in Computer Science ◽

10.1007/978-3-540-78969-7_1 ◽

2008 ◽

pp. 1-2

Author(s):

Torsten Schaub

Keyword(s):

Knowledge Representation ◽

Answer Set Programming ◽

Knowledge Representation And Reasoning ◽

Model Based ◽

Download Full-text

Termination of Narrowing in Left-Linear Constructor Systems

Functional and Logic Programming - Lecture Notes in Computer Science ◽

10.1007/978-3-540-78969-7_10 ◽

2008 ◽

pp. 113-129 ◽

Author(s):

Germán Vidal

Download Full-text

Substructural Type Systems for Program Analysis

Functional and Logic Programming - Lecture Notes in Computer Science ◽

10.1007/978-3-540-78969-7_3 ◽

2008 ◽

pp. 14-14 ◽

Author(s):

Naoki Kobayashi

Keyword(s):

Program Analysis ◽

Download Full-text

EasyCheck — Test Data for Free

Functional and Logic Programming - Lecture Notes in Computer Science ◽

10.1007/978-3-540-78969-7_23 ◽

2008 ◽

pp. 322-336 ◽

Author(s):

Jan Christiansen ◽

Sebastian Fischer

Keyword(s):

Download Full-text

On-Demand Refinement of Dependent Types

Functional and Logic Programming - Lecture Notes in Computer Science ◽

10.1007/978-3-540-78969-7_8 ◽

2008 ◽

pp. 81-96 ◽

Author(s):

Hiroshi Unno ◽

Naoki Kobayashi

Keyword(s):

Dependent Types ◽

Download Full-text

Typed Dynamic Control Operators for Delimited Continuations

Functional and Logic Programming - Lecture Notes in Computer Science ◽

10.1007/978-3-540-78969-7_18 ◽

2008 ◽

pp. 239-254 ◽

Author(s):

Yukiyoshi Kameyama ◽

Takuo Yonezawa

Keyword(s):

Dynamic Control ◽

Delimited Continuations ◽

Control Operators

Download Full-text