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

TOTAL DOCUMENTS

25

(FIVE YEARS 0)

H-INDEX

5

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642298219, 9783642298226

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Computing in Cantor’s Paradise with λ ZFC

Functional and Logic Programming - Lecture Notes in Computer Science ◽

10.1007/978-3-642-29822-6_23 ◽

2012 ◽

pp. 290-306 ◽

Author(s):

Neil Toronto ◽

Jay McCarthy

Download Full-text

Automated Verification of Higher-Order Functional Programs

Functional and Logic Programming - Lecture Notes in Computer Science ◽

10.1007/978-3-642-29822-6_2 ◽

2012 ◽

pp. 2-2

Author(s):

Tachio Terauchi

Keyword(s):

Higher Order ◽

Automated Verification

Download Full-text

A Data Flow Language for Hybrid Query and Programming Languages

Functional and Logic Programming - Lecture Notes in Computer Science ◽

10.1007/978-3-642-29822-6_19 ◽

2012 ◽

pp. 228-242

Author(s):

Kristoffer H. Rose ◽

Lionel Villard ◽

Naoto Sato

Keyword(s):

Programming Languages ◽

Download Full-text

A General Implementation Framework for Tabled CLP

Functional and Logic Programming - Lecture Notes in Computer Science ◽

10.1007/978-3-642-29822-6_11 ◽

2012 ◽

pp. 104-119 ◽

Author(s):

Pablo Chico de Guzmán ◽

Manuel Carro ◽

Manuel V. Hermenegildo ◽

Peter Stuckey

Keyword(s):

Implementation Framework

Download Full-text

Coinductive Constraint Logic Programming

Functional and Logic Programming - Lecture Notes in Computer Science ◽

10.1007/978-3-642-29822-6_20 ◽

2012 ◽

pp. 243-259 ◽

Author(s):

Neda Saeedloei ◽

Gopal Gupta

Keyword(s):

Logic Programming ◽

Constraint Logic Programming

Download Full-text

A Lambda Calculus for Gödel–Dummett Logic Capturing Waitfreedom

Functional and Logic Programming - Lecture Notes in Computer Science ◽

10.1007/978-3-642-29822-6_14 ◽

2012 ◽

pp. 151-165 ◽

Author(s):

Yoichi Hirai

Keyword(s):

Lambda Calculus ◽

Download Full-text

Normal Form Bisimulations for Delimited-Control Operators

Functional and Logic Programming - Lecture Notes in Computer Science ◽

10.1007/978-3-642-29822-6_7 ◽

2012 ◽

pp. 47-61 ◽

Author(s):

Dariusz Biernacki ◽

Sergueï Lenglet

Keyword(s):

Normal Form ◽

Control Operators

Download Full-text

A Call-by-Name CPS Hierarchy

Functional and Logic Programming - Lecture Notes in Computer Science ◽

10.1007/978-3-642-29822-6_21 ◽

2012 ◽

pp. 260-274 ◽

Author(s):

Asami Tanaka ◽

Yukiyoshi Kameyama

Download Full-text

Programming with Boolean Satisfaction

Functional and Logic Programming - Lecture Notes in Computer Science ◽

10.1007/978-3-642-29822-6_1 ◽

2012 ◽

pp. 1-1

Author(s):

Michael Codish

Download Full-text

Real-Time Persistent Queues and Deques with Logic Variables (Declarative Pearl)

Functional and Logic Programming - Lecture Notes in Computer Science ◽

10.1007/978-3-642-29822-6_8 ◽

2012 ◽

pp. 62-72

Author(s):

Gerlof Bouma

Keyword(s):

Download Full-text