If you made any changes in Pure these will be visible here soon.
Filter
Conference contribution

Search results

  • 2021

    Comprehending nulls

    Cheney, J. & Ricciotti, W., 16 Aug 2021, Proceedings of the 18th International Symposium on Database Programming Languages (DBPL 2021). ACM, p. 3-6 4 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    File
  • Query Lifting: Language-integrated query for heterogeneous nested collections

    Ricciotti, W. & Cheney, J., 23 Mar 2021, Programming Languages and Systems (ESOP 2021). Springer International Publishing, p. 579–606 28 p. (Lecture Notes in Computer Science; vol. 12648).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    File
  • 2020

    Strongly Normalizing Higher-Order Relational Queries

    Ricciotti, W. & Cheney, J., 28 Jun 2020, 5th International Conference on Formal Structures for Computation and Deduction (FSCD 2020). Ariola, Z. (ed.). Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany, p. 1-22 22 p. 28. (Leibniz International Proceedings in Informatics (LIPIcs); vol. 167).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    File
  • 2019

    Mixing set and bag semantics

    Ricciotti, W. & Cheney, J., 23 Jun 2019, Proceedings of The 17th International Symposium on Database Programming Languages. New york : ACM, p. 70-73 5 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    File
  • 2018

    Explicit Auditing

    Ricciotti, W. & Cheney, J., 15 Oct 2018, International Colloquium on Theoretical Aspects of Computing. Fischer, B. & Uustalu, T. (eds.). Springer, Cham, p. 376-395 20 p. (Lecture Notes in Computer Science; vol. 11187).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    File
  • 2017

    A Core Calculus for Provenance Inspection

    Ricciotti, W., 9 Oct 2017, 19th International Symposium on Principles and Practice of Declarative Programming (PPDP'17). ACM, p. 187-198 17 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    File
  • Imperative functional programs that explain their work

    Ricciotti, W., Stolarek, J., Perera, R. & Cheney, J., 29 Aug 2017, 22nd ACM SIGPLAN International Conference on Functional Programming (ICFP 2017). p. 14:1-14:28 26 p. (Proceedings of the ACM on Programming Languages; vol. 1, no. ICFP).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    File
  • Strongly Normalizing Audited Computation

    Ricciotti, W. & Cheney, J., 24 Aug 2017, 26th EACSL Annual Conference on Computer Science Logic (CSL 2017). Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany, p. 1-21 21 p. 36. (Leibniz International Proceedings in Informatics (LIPIcs); vol. 82).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    File
  • 2015

    Abstracting an Operational Semantics to Finite Automata

    Ricciotti, W., Smaus, J-G. & Strecker, M., 12 May 2015, Information and Communication Technologies in Education, Research, and Industrial Applications: 11th International Conference, ICTERI 2015, Lviv, Ukraine, May 14-16, 2015, Revised Selected Papers. Springer International Publishing, p. 109-123 16 p. (Communications in Computer and Information Science; vol. 594).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    File
  • Binding Structures as an Abstract Data Type

    Ricciotti, W., 2015, Programming Languages and Systems: 24th European Symposium on Programming, ESOP 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings. Springer Berlin Heidelberg, p. 762-786 5 p. (Lecture Notes in Computer Science; vol. 9032).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    File
  • 2012

    A Web Interface for Matita

    Asperti, A. & Ricciotti, W., 2012, Intelligent Computer Mathematics : 11th International Conference, AISC 2012, 19th Symposium, Calculemus 2012, 5th International Workshop, DML 2012, 11th International Conference, MKM 2012, Systems and Projects, Held as Part of CICM 2012, Bremen, Germany, July 8-13, 2012. Proceedings. Springer Berlin Heidelberg, p. 417-421 5 p. (Lecture Notes in Computer Science; vol. 7362).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • Formalizing Turing Machines

    Asperti, A. & Ricciotti, W., 2012, Logic, Language, Information and Computation: 19th International Workshop, WoLLIC 2012, Buenos Aires, Argentina, September 3-6, 2012. Proceedings. Springer Berlin Heidelberg, p. 1-25 25 p. (Lecture Notes in Computer Science; vol. 7456).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • Rating Disambiguation Errors

    Asperti, A. & Ricciotti, W., 2012, Certified Programs and Proofs: Second International Conference, CPP 2012, Kyoto, Japan, December 13-15, 2012. Proceedings. Springer Berlin Heidelberg, p. 240-255 16 p. (Lecture Notes in Computer Science; vol. 7679).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • 2011

    The Matita Interactive Theorem Prover

    Asperti, A., Ricciotti, W., Coen, C. S. & Tassi, E., 2011, Automated Deduction - CADE-23: 23rd International Conference on Automated Deduction, Wroclaw, Poland, July 31 - August 5, 2011. Proceedings. Springer Berlin Heidelberg, p. 64-69 6 p. (Lecture Notes in Computer Science; vol. 6803).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • 2009

    Hints in Unification

    Asperti, A., Ricciotti, W., Coen, C. S. & Tassi, E., 2009, Theorem Proving in Higher Order Logics: 22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009. Proceedings. Springer Berlin Heidelberg, p. 84-98 15 p. (Lecture Notes in Computer Science; vol. 5674).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • 2008

    About the Formalization of Some Results by Chebyshev in Number Theory

    Asperti, A. & Ricciotti, W., 2008, Types for Proofs and Programs: International Conference, TYPES 2008 Torino, Italy, March 26-29, 2008 Revised Selected Papers. Springer Berlin Heidelberg, p. 19-31 13 p. (Lecture Notes in Computer Science; vol. 5497).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution