Verified technology mapping in an Agda DSL for circuit design

Joao Paulo Pizani Flor, Wouter Swierstra

Research output: Contribution to conferencePaperAcademic

Original languageEnglish
Publication statusPublished - 2022
EventImplementation and Application of Functional Languages - Copenhagen, Denmark
Duration: 31 Aug 20222 Sept 2022
https://ifl22.github.io/

Conference

ConferenceImplementation and Application of Functional Languages
Abbreviated titleIFL
Country/TerritoryDenmark
CityCopenhagen
Period31/08/222/09/22
Internet address

Cite this