Filter
Conference contribution

Search results

  • 2023

    Dependently Typed Languages in Statix

    Brouwer, J., Cockx, J. & Zwaan, A., 2023, Eelco Visser Commemorative Symposium, EVCS 2023. Lammel, R., Mosses, P. D. & Steimann, F. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 8 p. 6. (OpenAccess Series in Informatics; vol. 109).

    Research output: Chapter in Book/Conference proceedings/Edited volumeConference contributionScientificpeer-review

    Open Access
    File
    37 Downloads (Pure)
  • 2022

    Optimising First-Class Pattern Matching

    Smits, J., Hartman, T. & Cockx, J., 2022, SLE 2022: Proceedings of the 15th ACM SIGPLAN International Conference on Software Language Engineering. New York: Association for Computing Machinery (ACM), p. 74-83 10 p.

    Research output: Chapter in Book/Conference proceedings/Edited volumeConference contributionScientificpeer-review

    Open Access
    File
    27 Downloads (Pure)
  • 2021

    Extracting the power of dependent types

    Šinkarovs, A. & Cockx, J., 2021, GPCE 2021 - Proceedings of the 20th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, co-located with SPLASH 2021. Tilevich, E. & De Roover, C. (eds.). Association for Computing Machinery (ACM), p. 83-95 13 p. (GPCE 2021 - Proceedings of the 20th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, co-located with SPLASH 2021).

    Research output: Chapter in Book/Conference proceedings/Edited volumeConference contributionScientificpeer-review

    Open Access
    File
    37 Downloads (Pure)
  • 2020

    Type Theory Unchained: Extending Agda with User-Defined Rewrite Rules

    Cockx, J., 2020, 25th International Conference on Types for Proofs and Programs, TYPES 2019. Bezem, M., Mahboubi, A. & Mahboubi, A. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 27 p. 2. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 175).

    Research output: Chapter in Book/Conference proceedings/Edited volumeConference contributionScientificpeer-review

    Open Access
    File
    9 Citations (Scopus)
    101 Downloads (Pure)