Publications
Search

Publications :: Search

Show venue

On this page you see the details of the selected venue.

    Conference
    Name: Practical Aspects of Declarative Languages - 15th International Symposium, PADL 2013, Rome, Italy, January 21-22, 2013. Proceedings 2013
    URL: https://doi.org/10.1007/978-3-642-45284-0
    DBLP: db/conf/padl/padl2013.html
    Bookmark:

    Below you find the publications assigned to this venue.

    Show item 1 to 10 of 17  
    Select a publication
    Show Title Venue Rating Date
    Conference paper
    Alan Jeffrey.
    Dependently Typed Web Client Applications - FRP in Agda in HTML5.
    Practical Aspects of Declarative Languages - 15th International Symposium, PADL 2013, Rome, Italy, January 21-22, 2013. Proceedings 2013 (0) 2013
    Conference paper
    Senlin Liang, Michael Kifer.
    Terminyzer: An Automatic Non-termination Analyzer for Large Logic Programs.
    Practical Aspects of Declarative Languages - 15th International Symposium, PADL 2013, Rome, Italy, January 21-22, 2013. Proceedings 2013 (0) 2013
    Conference paper
    Paulo Moura.
    A Portable and Efficient Implementation of Coinductive Logic Programming.
    Practical Aspects of Declarative Languages - 15th International Symposium, PADL 2013, Rome, Italy, January 21-22, 2013. Proceedings 2013 (0) 2013
    Conference paper
    Benjamin Canou, Emmanuel Chailloux, Vincent Balat.
    A Declarative-Friendly API for Web Document Manipulation.
    Practical Aspects of Declarative Languages - 15th International Symposium, PADL 2013, Rome, Italy, January 21-22, 2013. Proceedings 2013 (0) 2013
    Conference paper
    Sander Canisius, Nicos Angelopoulos, Lodewyk Wessels.
    proSQLite: Prolog File Based Databases via an SQLite Interface.
    Practical Aspects of Declarative Languages - 15th International Symposium, PADL 2013, Rome, Italy, January 21-22, 2013. Proceedings 2013 (0) 2013
    Conference paper
    Zoé Drey, José F. Morales, Manuel V. Hermenegildo, Manuel Carro.
    Reversible Language Extensions and Their Application in Debugging.
    Practical Aspects of Declarative Languages - 15th International Symposium, PADL 2013, Rome, Italy, January 21-22, 2013. Proceedings 2013 (0) 2013
    Conference paper
    João Santos 0004, Ricardo Rocha.
    On the Efficient Implementation of Mode-Directed Tabling.
    Practical Aspects of Declarative Languages - 15th International Symposium, PADL 2013, Rome, Italy, January 21-22, 2013. Proceedings 2013 (0) 2013
    Conference paper
    Georgios Fourtounis, Nikolaos S. Papaspyrou, Panos Rondogiannis.
    The Generalized Intensional Transformation for Implementing Lazy Functional Languages.
    Practical Aspects of Declarative Languages - 15th International Symposium, PADL 2013, Rome, Italy, January 21-22, 2013. Proceedings 2013 (0) 2013
    Conference paper
    Pablo Chico de Guzmán, Manuel Carro, Manuel V. Hermenegildo.
    Supporting Pruning in Tabled LP.
    Practical Aspects of Declarative Languages - 15th International Symposium, PADL 2013, Rome, Italy, January 21-22, 2013. Proceedings 2013 (0) 2013
    Conference paper
    Gabriel Aranda-López, Susana Nieva, Fernando Sáenz-Pérez, Jaime Sánchez-Hernández.
    Formalizing a Broader Recursion Coverage in SQL.
    Practical Aspects of Declarative Languages - 15th International Symposium, PADL 2013, Rome, Italy, January 21-22, 2013. Proceedings 2013 (0) 2013
    Show item 1 to 10 of 17  

    Your query returned 17 matches in the database.