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

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer International Publishing

9783319041315, 9783319041322

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Expand: Towards an Extensible Pandoc System

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

10.1007/978-3-319-04132-2_14 ◽

2014 ◽

pp. 200-215 ◽

Cited By ~ 1

Author(s):

Jacco Krijnen ◽

Doaitse Swierstra ◽

Marcos O. Viera

Download Full-text

Embedding Foreign Code

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

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

2014 ◽

pp. 136-151 ◽

Cited By ~ 6

Author(s):

Robert Clifton-Everest ◽

Trevor L. McDonell ◽

Manuel M. T. Chakravarty ◽

Gabriele Keller

Download Full-text

Generic Generic Programming

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

10.1007/978-3-319-04132-2_15 ◽

2014 ◽

pp. 216-231 ◽

Cited By ~ 3

Author(s):

José Pedro Magalhães ◽

Andres Löh

Keyword(s):

Generic Programming

Download Full-text

Towards Modeling Morality Computationally with Logic Programming

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

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

2014 ◽

pp. 104-119 ◽

Cited By ~ 4

Author(s):

Ari Saptawijaya ◽

Luís Moniz Pereira

Keyword(s):

Logic Programming

Download Full-text

Sunroof: A Monadic DSL for Generating JavaScript

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

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

2014 ◽

pp. 65-80 ◽

Cited By ~ 12

Author(s):

Jan Bracker ◽

Andy Gill

Download Full-text

Partial Type Signatures for Haskell

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

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

2014 ◽

pp. 17-32 ◽

Cited By ~ 4

Author(s):

Thomas Winant ◽

Dominique Devriese ◽

Frank Piessens ◽

Tom Schrijvers

Keyword(s):

Partial Type

Download Full-text

Abstract Modular Inference Systems and Solvers

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

10.1007/978-3-319-04132-2_4 ◽

2014 ◽

pp. 49-64 ◽

Cited By ~ 2

Author(s):

Yuliya Lierler ◽

Miroslaw Truszczynski

Keyword(s):

Inference Systems

Download Full-text

Typelets — A Rule-Based Evaluation Model for Dynamic, Statically Typed User Interfaces

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

10.1007/978-3-319-04132-2_13 ◽

2014 ◽

pp. 184-199 ◽

Cited By ~ 2

Author(s):

Martin Elsman ◽

Anders Schack-Nielsen

Keyword(s):

User Interfaces ◽

Evaluation Model ◽

Rule Based

Download Full-text

℞CML: A Prescription for Safely Relaxing Synchrony

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

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

2014 ◽

pp. 1-16

Author(s):

K. C. Sivaramakrishnan ◽

Lukasz Ziarek ◽

Suresh Jagannathan

Download Full-text

The F# Computation Expression Zoo

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

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

2014 ◽

pp. 33-48 ◽

Cited By ~ 6

Author(s):

Tomas Petricek ◽

Don Syme

Download Full-text

Practical Aspects of Declarative Languages - Lecture Notes in Computer ScienceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer International Publishing

Expand: Towards an Extensible Pandoc System

Embedding Foreign Code

Generic Generic Programming

Towards Modeling Morality Computationally with Logic Programming

Sunroof: A Monadic DSL for Generating JavaScript

Partial Type Signatures for Haskell

Abstract Modular Inference Systems and Solvers

Typelets — A Rule-Based Evaluation Model for Dynamic, Statically Typed User Interfaces

℞CML: A Prescription for Safely Relaxing Synchrony

The F# Computation Expression Zoo

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