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

TOTAL DOCUMENTS

15
(FIVE YEARS 0)

H-INDEX

5
(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

2014 ◽  
pp. 200-215 ◽  
Author(s):  
Jacco Krijnen ◽  
Doaitse Swierstra ◽  
Marcos O. Viera

Embedding Foreign Code

2014 ◽  
pp. 136-151 ◽  
Author(s):  
Robert Clifton-Everest ◽  
Trevor L. McDonell ◽  
Manuel M. T. Chakravarty ◽  
Gabriele Keller

scholarly journals Generic Generic Programming

2014 ◽  
pp. 216-231 ◽  
Author(s):  
José Pedro Magalhães ◽  
Andres Löh
Keyword(s):  
Generic Programming

Towards Modeling Morality Computationally with Logic Programming

2014 ◽  
pp. 104-119 ◽  
Author(s):  
Ari Saptawijaya ◽  
Luís Moniz Pereira
Keyword(s):  
Logic Programming

Sunroof: A Monadic DSL for Generating JavaScript

2014 ◽  
pp. 65-80 ◽  
Author(s):  
Jan Bracker ◽  
Andy Gill

scholarly journals Partial Type Signatures for Haskell

2014 ◽  
pp. 17-32 ◽  
Author(s):  
Thomas Winant ◽  
Dominique Devriese ◽  
Frank Piessens ◽  
Tom Schrijvers
Keyword(s):  
Partial Type

Abstract Modular Inference Systems and Solvers

2014 ◽  
pp. 49-64 ◽  
Author(s):  
Yuliya Lierler ◽  
Miroslaw Truszczynski
Keyword(s):  
Inference Systems

℞CML: A Prescription for Safely Relaxing Synchrony

2014 ◽  
pp. 1-16
Author(s):  
K. C. Sivaramakrishnan ◽  
Lukasz Ziarek ◽  
Suresh Jagannathan

scholarly journals The F# Computation Expression Zoo

2014 ◽  
pp. 33-48 ◽  
Author(s):  
Tomas Petricek ◽  
Don Syme
Load More ...
Sign in / Sign up

Export Citation Format

Share Document