Showing 1 - 4 results of 4 for search '', query time: 0.02s Refine Results
  1. 1
    Proceedings of the 18th International Symposium on Principles and Practice of Declarative Programming
    Published 2016
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  2. 2
    Proceedings of the 8th ACM SIGPLAN International Conference on Certified Programs and Proofs
    Published 2019
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  3. 3
    Proceedings of the Workshop on Logical Frameworks and Meta-Languages: Theory and Practice
    Published 2017
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  4. 4
    Proceedings of the XXII Brazilian Symposium on Programming Languages
    Published 2018
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
Search Tools: RSS Feed – Email Search