Engineering Proof by Reflection in Agda
type: Dataset
description: International audience
issued: 2026-05-05T12:02:21.115846
language: en
modified: 2026-05-05T12:02:21.115850
contact point: Organization
  fn: CCSD
keyword: conference-papers
keyword: infoeu-reposemanticsconferenceobject
keyword: infoinfo-clcomputer-science-cscomputation-and-language-cscl
landing page: IFL - 24th International Symposium on Implementation and Application of Functional Languages

Engineering Proof by Reflection in Agda
type: Distribution
format: HTML
issued: 2026-05-05T12:02:21.116904
modified: 2026-05-05T12:02:21.110680
access URL: https://inria.hal.science/hal-00987610

test_moissonnage_selune
type: Agent