Practical Aspects of Declarative Languages - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

11

(FIVE YEARS 0)

H-INDEX

4

(FIVE YEARS 0)

Published By Springer International Publishing

9783319282275, 9783319282282

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Using Constraint Logic Programming to Schedule Solar Array Operations on the International Space Station

Practical Aspects of Declarative Languages - Lecture Notes in Computer Science ◽

10.1007/978-3-319-28228-2_1 ◽

2016 ◽

pp. 3-12

Author(s):

Jan Jelínek ◽

Roman Barták

Keyword(s):

Logic Programming ◽

International Space Station ◽

Space Station ◽

Constraint Logic Programming ◽

Solar Array ◽

International Space

Download Full-text

The KB Paradigm and Its Application to Interactive Configuration

Practical Aspects of Declarative Languages - Lecture Notes in Computer Science ◽

10.1007/978-3-319-28228-2_2 ◽

2016 ◽

pp. 13-29

Author(s):

Van Hertum Pieter ◽

Ingmar Dasseville ◽

Gerda Janssens ◽

Marc Denecker

Download Full-text

A Size-Proportionate Bijective Encoding of Lambda Terms as Catalan Objects Endowed with Arithmetic Operations

Practical Aspects of Declarative Languages - Lecture Notes in Computer Science ◽

10.1007/978-3-319-28228-2_7 ◽

2016 ◽

pp. 99-116 ◽

Author(s):

Paul Tarau

Keyword(s):

Arithmetic Operations

Download Full-text

Default Rules for Curry

Practical Aspects of Declarative Languages - Lecture Notes in Computer Science ◽

10.1007/978-3-319-28228-2_5 ◽

2016 ◽

pp. 65-82 ◽

Author(s):

Sergio Antoy ◽

Michael Hanus

Keyword(s):

Download Full-text

A GPU Implementation of the ASP Computation

Practical Aspects of Declarative Languages - Lecture Notes in Computer Science ◽

10.1007/978-3-319-28228-2_3 ◽

2016 ◽

pp. 30-47 ◽

Author(s):

Agostino Dovier ◽

Andrea Formisano ◽

Enrico Pontelli ◽

Flavio Vella

Keyword(s):

Gpu Implementation

Download Full-text

Haskino: A Remote Monad for Programming the Arduino

Practical Aspects of Declarative Languages - Lecture Notes in Computer Science ◽

10.1007/978-3-319-28228-2_10 ◽

2016 ◽

pp. 153-168 ◽

Author(s):

Mark Grebe ◽

Andy Gill

Download Full-text

From Monads to Effects and Back

Practical Aspects of Declarative Languages - Lecture Notes in Computer Science ◽

10.1007/978-3-319-28228-2_11 ◽

2016 ◽

pp. 169-186 ◽

Author(s):

Niki Vazou ◽

Daan Leijen

Download Full-text

Computing with Catalan Families, Generically

Practical Aspects of Declarative Languages - Lecture Notes in Computer Science ◽

10.1007/978-3-319-28228-2_8 ◽

2016 ◽

pp. 117-134

Author(s):

Paul Tarau

Download Full-text

Simplifying Probabilistic Programs Using Computer Algebra

Practical Aspects of Declarative Languages - Lecture Notes in Computer Science ◽

10.1007/978-3-319-28228-2_9 ◽

2016 ◽

pp. 135-152 ◽

Author(s):

Jacques Carette ◽

Chung-Chieh Shan

Keyword(s):

Computer Algebra ◽

Probabilistic Programs

Download Full-text

Generic Matching of Tree Regular Expressions over Haskell Data Types

Practical Aspects of Declarative Languages - Lecture Notes in Computer Science ◽

10.1007/978-3-319-28228-2_6 ◽

2016 ◽

pp. 83-98 ◽

Author(s):

Alejandro Serrano ◽

Jurriaan Hage

Keyword(s):

Regular Expressions ◽

Download Full-text