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

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer International Publishing

9783030590246, 9783030590253

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

An Efficient Composition of Bidirectional Programs by Memoization and Lazy Update

Functional and Logic Programming - Lecture Notes in Computer Science ◽

10.1007/978-3-030-59025-3_10 ◽

2020 ◽

pp. 159-178

Author(s):

Kanae Tsushima ◽

Bach Nguyen Trong ◽

Robert Glück ◽

Zhenjiang Hu

Download Full-text

Functional Pearl: The Distributive $$\lambda $$-Calculus

Functional and Logic Programming - Lecture Notes in Computer Science ◽

10.1007/978-3-030-59025-3_3 ◽

2020 ◽

pp. 33-49

Author(s):

Beniamino Accattoli ◽

Alejandro Díaz-Caro

Keyword(s):

Lambda Calculus

Download Full-text

Declarative Pearl: Deriving Monadic Quicksort

Functional and Logic Programming - Lecture Notes in Computer Science ◽

10.1007/978-3-030-59025-3_8 ◽

2020 ◽

pp. 124-138

Author(s):

Shin-Cheng Mu ◽

Tsung-Ju Chiang

Download Full-text

An SMT-Based Concolic Testing Tool for Logic Programs

Functional and Logic Programming - Lecture Notes in Computer Science ◽

10.1007/978-3-030-59025-3_13 ◽

2020 ◽

pp. 215-219

Author(s):

Sophie Fortz ◽

Fred Mesnard ◽

Etienne Payet ◽

Gilles Perrouin ◽

Wim Vanhoof ◽

...

Keyword(s):

Logic Programs ◽

Concolic Testing ◽

Testing Tool

Download Full-text

Implementing, and Keeping in Check, a DSL Used in E-Learning

Functional and Logic Programming - Lecture Notes in Computer Science ◽

10.1007/978-3-030-59025-3_11 ◽

2020 ◽

pp. 179-197 ◽

Cited By ~ 1

Author(s):

Oliver Westphal ◽

Janis Voigtländer

Keyword(s):

E Learning

Download Full-text

Theory and Practice of Second-Order Rewriting: Foundation, Evolution, and SOL

Functional and Logic Programming - Lecture Notes in Computer Science ◽

10.1007/978-3-030-59025-3_1 ◽

2020 ◽

pp. 3-9

Author(s):

Makoto Hamana

Keyword(s):

Second Order ◽

Theory And Practice

Download Full-text

Restriction on Cut in Cyclic Proof System for Symbolic Heaps

Functional and Logic Programming - Lecture Notes in Computer Science ◽

10.1007/978-3-030-59025-3_6 ◽

2020 ◽

pp. 88-105

Author(s):

Kenji Saotome ◽

Koji Nakazawa ◽

Daisuke Kimura

Keyword(s):

Proof System

Download Full-text

Language-Integrated Query with Nested Data Structures and Grouping

Functional and Logic Programming - Lecture Notes in Computer Science ◽

10.1007/978-3-030-59025-3_9 ◽

2020 ◽

pp. 139-158

Author(s):

Rui Okura ◽

Yukiyoshi Kameyama

Keyword(s):

Data Structures ◽

Nested Data

Download Full-text

On the Effectiveness of Higher-Order Logic Programming in Language-Oriented Programming

Functional and Logic Programming - Lecture Notes in Computer Science ◽

10.1007/978-3-030-59025-3_7 ◽

2020 ◽

pp. 106-123

Author(s):

Matteo Cimini

Keyword(s):

Logic Programming ◽

Higher Order ◽

Order Logic ◽

Higher Order Logic

Download Full-text

Session Types Without Sophistry

Functional and Logic Programming - Lecture Notes in Computer Science ◽

10.1007/978-3-030-59025-3_5 ◽

2020 ◽

pp. 66-87

Author(s):

Oleg Kiselyov ◽

Keigo Imai

Keyword(s):

Session Types

Download Full-text

Functional and Logic Programming - Lecture Notes in Computer ScienceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer International Publishing

An Efficient Composition of Bidirectional Programs by Memoization and Lazy Update

Functional Pearl: The Distributive $$\lambda $$-Calculus

Declarative Pearl: Deriving Monadic Quicksort

An SMT-Based Concolic Testing Tool for Logic Programs

Implementing, and Keeping in Check, a DSL Used in E-Learning

Theory and Practice of Second-Order Rewriting: Foundation, Evolution, and SOL

Restriction on Cut in Cyclic Proof System for Symbolic Heaps

Language-Integrated Query with Nested Data Structures and Grouping

On the Effectiveness of Higher-Order Logic Programming in Language-Oriented Programming

Session Types Without Sophistry

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