Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Sandra Dylus, Jan Christiansen, Finn Teegen |
Probabilistic Functional Logic Programming. |
PADL |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Florian Biermann, Wensheng Dou, Peter Sestoft |
Rewriting High-Level Spreadsheet Structures into Higher-Order Functional Programs. |
PADL |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Gordon Stewart 0001, Samuel Merten, Logan Leland |
Snårkl: Somewhat Practical, Pretty Much Declarative Verifiable Computing in Haskell. |
PADL |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Francesco Calimeri, Davide Fuscà, Simona Perri, Jessica Zangari |
Optimizing Answer Set Computation via Heuristic-Based Decomposition. |
PADL |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Besik Dundua, Temur Kutsia, Klaus Reisenberger-Hagmayer |
An Overview of PρLog. |
PADL |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Geoffrey Mainland |
A Domain-Specific Language for Software-Defined Radio. |
PADL |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Jakob Rath, Christoph Redl |
Integrating Answer Set Programming with Object-Oriented Languages. |
PADL |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Neng-Fa Zhou, Jonathan Fruhman |
Canonicalizing High-Level Constructs in Picat. |
PADL |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Yuliya Lierler, Walid Taha (eds.) |
Practical Aspects of Declarative Languages - 19th International Symposium, PADL 2017, Paris, France, January 16-17, 2017, Proceedings |
PADL |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Felix S. Klock II |
A Declarative DSL for Customizing ASCII Art. |
PADL |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Theofrastos Mantadelis, Ricardo Rocha 0001 |
Using Iterative Deepening for Probabilistic Logic Inference. |
PADL |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Christoph Redl |
Extending Answer Set Programs with Interpreted Functions as First-Class Citizens. |
PADL |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Jonathan Fowler, Graham Hutton |
Failing Faster: Overlapping Patterns for Property-Based Testing. |
PADL |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Joost Vennekens |
Lowering the Learning Curve for Declarative Programming: A Python API for the IDP System. |
PADL |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Jules Hedges, Paulo Oliva, Evguenia Shprits, Viktor Winschel, Philipp Zahn |
Selection Equilibria of Higher-Order Games. |
PADL |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Maciej Bendkowski, Katarzyna Grygiel, Paul Tarau |
Boltzmann Samplers for Closed Simply-Typed Lambda Terms. |
PADL |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Stefania Costantini, Giovanni De Gasperis, Giulio Nazzicone |
DALI for Cognitive Robotics: Principles and Prototype Implementation. |
PADL |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Sergio Antoy, Michael Hanus |
Eliminating Irrelevant Non-determinism in Functional Logic Programs. |
PADL |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Henrik Nilsson, Guerric Chupin |
Funky Grooves: Declarative Programming of Full-Fledged Musical Applications. |
PADL |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Agostino Dovier, Andrea Formisano 0001, Enrico Pontelli, Flavio Vella |
A GPU Implementation of the ASP Computation. |
PADL |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Paul Tarau |
A Size-Proportionate Bijective Encoding of Lambda Terms as Catalan Objects Endowed with Arithmetic Operations. |
PADL |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Mark Grebe, Andy Gill |
Haskino: A Remote Monad for Programming the Arduino. |
PADL |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Jacques Carette, Chung-chieh Shan |
Simplifying Probabilistic Programs Using Computer Algebra. |
PADL |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Niki Vazou, Daan Leijen |
From Monads to Effects and Back. |
PADL |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Neng-Fa Zhou, Håkan Kjellerstrand |
The Picat-SAT Compiler. |
PADL |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Alejandro Serrano 0001, Jurriaan Hage |
Generic Matching of Tree Regular Expressions over Haskell Data Types. |
PADL |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Paul Tarau |
Computing with Catalan Families, Generically. |
PADL |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Sergio Antoy, Michael Hanus |
Default Rules for Curry. |
PADL |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Jan Jelínek, Roman Barták |
Using Constraint Logic Programming to Schedule Solar Array Operations on the International Space Station. |
PADL |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Pieter Van Hertum, Ingmar Dasseville, Gerda Janssens, Marc Denecker |
The KB Paradigm and Its Application to Interactive Configuration. |
PADL |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Marco Gavanelli, John H. Reppy (eds.) |
Practical Aspects of Declarative Languages - 18th International Symposium, PADL 2016, St. Petersburg, FL, USA, January 18-19, 2016. Proceedings |
PADL |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Reza Basseda, Michael Kifer |
State Space Planning Using Transaction Logic. |
PADL |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Salvador Tamarit, Guillermo Vigueras, Manuel Carro, Julio Mariño |
A Haskell Implementation of a Rule-Based Program Transformation for C Programs. |
PADL |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Michael Hanus |
CHR(Curry): Interpretation and Compilation of Constraint Handling Rules in Curry. |
PADL |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Marcello Balduccini, Sarah Kushner, Jacquelin Speck |
Ontology-Driven Data Semantics Discovery for Cyber-Security. |
PADL |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Paul Tarau |
On Logic Programming Representations of Lambda Terms: de Bruijn Indices, Compression, Type Inference, Combinatorial Generation, Normalization. |
PADL |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Sergii Dymchenko, Mariia Mykhailova |
Declaratively Solving Google Code Jam Problems with Picat. |
PADL |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Simon Fowler 0001, Loïc Denuzière, Adam Granicz |
Reactive Single-Page Applications with Dynamic Dataflow. |
PADL |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Benoît Vaugon, Philippe Wang, Emmanuel Chailloux |
Programming Microcontrollers in OCaml: The OCaPIC Project. |
PADL |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Enrico Pontelli, Tran Cao Son (eds.) |
Practical Aspects of Declarative Languages - 17th International Symposium, PADL 2015, Portland, OR, USA, June 18-19, 2015. Proceedings |
PADL |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Flávio Cruz, Ricardo Rocha 0001 |
On Compiling Linear Logic Programs with Comprehensions, Aggregates and Rule Priorities. |
PADL |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Dimitar Sht. Shterionov, Gerda Janssens |
Implementation and Performance of Probabilistic Inference Pipelines. |
PADL |
2015 |
DBLP DOI BibTeX RDF |
|
1 | K. C. Sivaramakrishnan, Lukasz Ziarek, Suresh Jagannathan |
RCML: A Prescription for Safely Relaxing Synchrony. |
PADL |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Yuliya Lierler, Miroslaw Truszczynski |
Abstract Modular Inference Systems and Solvers. |
PADL |
2014 |
DBLP DOI BibTeX RDF |
|
1 | José Pedro Magalhães, Andres Löh |
Generic Generic Programming. |
PADL |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Paul Tarau |
A Declarative Specification of Giant Number Arithmetic. |
PADL |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Jan Bracker, Andy Gill |
Sunroof: A Monadic DSL for Generating JavaScript. |
PADL |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Robert Clifton-Everest, Trevor L. McDonell, Manuel M. T. Chakravarty, Gabriele Keller |
Embedding Foreign Code. |
PADL |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Thomas Winant, Dominique Devriese, Frank Piessens, Tom Schrijvers |
Partial Type Signatures for Haskell. |
PADL |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Tran Cao Son, Enrico Pontelli, Tiep Le |
Two Applications of the ASP-Prolog System: Decomposable Programs and Multi-context Systems. |
PADL |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Martin Elsman, Anders Schack-Nielsen |
Typelets - A Rule-Based Evaluation Model for Dynamic, Statically Typed User Interfaces. |
PADL |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Matthew Flatt, Hai-Feng Guo (eds.) |
Practical Aspects of Declarative Languages - 16th International Symposium, PADL 2014, San Diego, CA, USA, January 20-21, 2014. Proceedings |
PADL |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Matthew R. Lakin, Andrew Phillips |
Compiling DNA Strand Displacement Reactions Using a Functional Programming Language. |
PADL |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Jacco Krijnen, S. Doaitse Swierstra, Marcos Viera |
Expand: Towards an Extensible Pandoc System. |
PADL |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Tomas Petricek 0001, Don Syme |
The F# Computation Expression Zoo. |
PADL |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Federico Campeotto, Alessandro Dal Palù, Agostino Dovier, Ferdinando Fioretto, Enrico Pontelli |
Exploring the Use of GPUs in Constraint Solving. |
PADL |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Miguel Areias 0001, Ricardo Rocha 0001 |
On the Correctness and Efficiency of Lock-Free Expandable Tries for Tabled Logic Programs. |
PADL |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Ari Saptawijaya, Luís Moniz Pereira |
Towards Modeling Morality Computationally with Logic Programming. |
PADL |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Sander Canisius, Nicos Angelopoulos, Lodewyk F. A. Wessels |
proSQLite: Prolog File Based Databases via an SQLite Interface. |
PADL |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Bernd Braßel, Michael Hanus, Björn Peemöller, Fabian Reck 0002 |
Implementing Equational Constraints in a Functional Language. |
PADL |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Pablo Chico de Guzmán, Manuel Carro, Manuel V. Hermenegildo |
Supporting Pruning in Tabled LP. |
PADL |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Paulo Moura |
A Portable and Efficient Implementation of Coinductive Logic Programming. |
PADL |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Nicos Angelopoulos, Vítor Santos Costa, João Azevedo, Jan Wielemaker, Rui Camacho, Lodewyk F. A. Wessels |
Integrative Functional Statistics in Logic Programming. |
PADL |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Vitor Rodrigues, Benny Akesson, Simão Melo de Sousa, Mário Florido |
A Declarative Compositional Timing Analysis for Multicores Using the Latency-Rate Abstraction. |
PADL |
2013 |
DBLP DOI BibTeX RDF |
|
1 | George Giorgidze, Torsten Grust, Iassen Halatchliyski, Michael E. Kummer |
Analysing the Entire Wikipedia History with Database Supported Haskell. |
PADL |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Benjamin Canou, Emmanuel Chailloux, Vincent Balat |
A Declarative-Friendly API for Web Document Manipulation. |
PADL |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Sergio Castro, Kim Mens, Paulo Moura |
LogicObjects: Enabling Logic Programming in Java through Linguistic Symbiosis. |
PADL |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Senlin Liang, Michael Kifer |
Terminyzer: An Automatic Non-termination Analyzer for Large Logic Programs. |
PADL |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Rui Machado, Salvador Abreu, Daniel Diaz 0001 |
Parallel Performance of Declarative Programming Using a PGAS Model. |
PADL |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Konstantinos Sagonas (eds.) |
Practical Aspects of Declarative Languages - 15th International Symposium, PADL 2013, Rome, Italy, January 21-22, 2013. Proceedings |
PADL |
2013 |
DBLP DOI BibTeX RDF |
|
1 | João Santos 0004, Ricardo Rocha 0001 |
On the Efficient Implementation of Mode-Directed Tabling. |
PADL |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Gabriel Aranda-López, Susana Nieva, Fernando Sáenz-Pérez, Jaime Sánchez-Hernández |
Formalizing a Broader Recursion Coverage in SQL. |
PADL |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Georgios Fourtounis 0001, Nikolaos Papaspyrou, Panos Rondogiannis |
The Generalized Intensional Transformation for Implementing Lazy Functional Languages. |
PADL |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Zoé Drey, José F. Morales 0001, Manuel V. Hermenegildo, Manuel Carro |
Reversible Language Extensions and Their Application in Debugging. |
PADL |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Paul Klint, Atze van der Ploeg |
A Library for Declarative Resolution-Independent 2D Graphics. |
PADL |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Alan Jeffrey |
Dependently Typed Web Client Applications - FRP in Agda in HTML5. |
PADL |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Don Stewart |
Make Things Now! Pragmatic Functional Programming in Haskell. |
PADL |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Yuliya Lierler, Shaden Smith, Miroslaw Truszczynski, Alex Westlund |
Weighted-Sequence Problem: ASP vs CASP and Declarative vs Problem-Oriented Solving. |
PADL |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Boon Thau Loo, Harjot Gill, Changbin Liu, Yun Mao, William R. Marczak, Micah Sherr, Anduo Wang, Wenchao Zhou |
Recent Advances in Declarative Networking. |
PADL |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Elvira Albert, Puri Arenas, Miguel Gómez-Zamalloa |
Symbolic Execution of Concurrent Objects in CLP. |
PADL |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Daniel Winograd-Cort, Hai Liu 0012, Paul Hudak |
Virtualizing Real-World Objects in FRP. |
PADL |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Andy Gill, Bowe Neuenschwander |
Handshaking in Kansas Lava Using Patch Logic. |
PADL |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Christian Theil Have, Henning Christiansen 0001 |
Efficient Tabling of Structured Data Using Indexing and Program Transformation. |
PADL |
2012 |
DBLP DOI BibTeX RDF |
|
1 | David Broman, Henrik Nilsson |
Node-Based Connection Semantics for Equation-Based Object-Oriented Modeling Languages. |
PADL |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Mayer Goldberg, Guy Wiener |
A Declarative Approach for Software Modeling. |
PADL |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Pedro M. N. Martins, Julie A. McCann, Susan Eisenbach |
The Environment as an Argument - Context-Aware Functional Programming. |
PADL |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Pablo Chico de Guzmán, Amadeo Casas, Manuel Carro, Manuel V. Hermenegildo |
A Segment-Swapping Approach for Executing Trapped Computations. |
PADL |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Sergio Antoy, Michael Hanus |
Contracts and Specifications for Functional Logic Programming. |
PADL |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Marcello Balduccini, Yuliya Lierler |
Practical and Methodological Aspects of the Use of Cutting-Edge ASP Tools. |
PADL |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Jeroen Bransen, Arie Middelkoop, Atze Dijkstra, S. Doaitse Swierstra |
The Kennedy-Warren Algorithm Revisited: Ordering Attribute Grammars. |
PADL |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Paul Tarau |
A Declarative Specification of Tree-Based Symbolic Arithmetic Computations. |
PADL |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Nicholas Coleman |
Distributed Policy Specification and Interpretation with Classified Advertisements. |
PADL |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Kenny Qili Zhu, Kathleen Fisher, David Walker 0001 |
LearnPADS + + : Incremental Inference of Ad Hoc Data Formats. |
PADL |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Michael Lesniak |
Palovca: Describing and Executing Graph Algorithms in Haskell. |
PADL |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Vincent St-Amour, Sam Tobin-Hochstadt, Matthew Flatt, Matthias Felleisen |
Typing the Numeric Tower. |
PADL |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Edwin C. Brady, Kevin Hammond |
Resource-Safe Systems Programming with Embedded Domain Specific Languages. |
PADL |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Claudio V. Russo, Neng-Fa Zhou (eds.) |
Practical Aspects of Declarative Languages - 14th International Symposium, PADL 2012, Philadelphia, PA, USA, January 23-24, 2012. Proceedings |
PADL |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Dario Campagna, Beata Sarna-Starosta, Tom Schrijvers |
Optimizing Inequality Joins in Datalog with Approximated Constraint Propagation. |
PADL |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Raymond J. Mooney |
Learning Language from Its Perceptual Context. |
PADL |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Ricardo Rocha 0001, John Launchbury (eds.) |
Practical Aspects of Declarative Languages - 13th International Symposium, PADL 2011, Austin, TX, USA, January 24-25, 2011. Proceedings |
PADL |
2011 |
DBLP DOI BibTeX RDF |
|