default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID16th PADL 2014: San Diego, CA, USA
- Matthew Flatt, Hai-Feng Guo:
Practical Aspects of Declarative Languages - 16th International Symposium, PADL 2014, San Diego, CA, USA, January 20-21, 2014. Proceedings. Lecture Notes in Computer Science 8324, Springer 2014, ISBN 978-3-319-04131-5 - K. C. Sivaramakrishnan, Lukasz Ziarek, Suresh Jagannathan:
RCML: A Prescription for Safely Relaxing Synchrony. 1-16 - Thomas Winant, Dominique Devriese
, Frank Piessens, Tom Schrijvers:
Partial Type Signatures for Haskell. 17-32 - Tomas Petricek, Don Syme:
The F# Computation Expression Zoo. 33-48 - Yuliya Lierler, Miroslaw Truszczynski:
Abstract Modular Inference Systems and Solvers. 49-64 - Jan Bracker, Andy Gill:
Sunroof: A Monadic DSL for Generating JavaScript. 65-80 - Matthew R. Lakin, Andrew Phillips:
Compiling DNA Strand Displacement Reactions Using a Functional Programming Language. 81-86 - Tran Cao Son, Enrico Pontelli, Tiep Le:
Two Applications of the ASP-Prolog System: Decomposable Programs and Multi-context Systems. 87-103 - Ari Saptawijaya, Luís Moniz Pereira:
Towards Modeling Morality Computationally with Logic Programming. 104-119 - Paul Tarau:
A Declarative Specification of Giant Number Arithmetic. 120-135 - Robert Clifton-Everest, Trevor L. McDonell, Manuel M. T. Chakravarty, Gabriele Keller:
Embedding Foreign Code. 136-151 - Federico Campeotto, Alessandro Dal Palù, Agostino Dovier, Ferdinando Fioretto, Enrico Pontelli:
Exploring the Use of GPUs in Constraint Solving. 152-167 - Miguel Areias, Ricardo Rocha:
On the Correctness and Efficiency of Lock-Free Expandable Tries for Tabled Logic Programs. 168-183 - Martin Elsman, Anders Schack-Nielsen:
Typelets - A Rule-Based Evaluation Model for Dynamic, Statically Typed User Interfaces. 184-199 - Jacco Krijnen, S. Doaitse Swierstra, Marcos Viera:
Expand: Towards an Extensible Pandoc System. 200-215 - José Pedro Magalhães, Andres Löh:
Generic Generic Programming. 216-231
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-12-26 00:59 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
