Verified technology mapping in an Agda DSL for circuit design

Research output: Contribution to conference › Paper › Academic

Original language	English
Publication status	Published - 2022
Event	Implementation and Application of Functional Languages - Copenhagen, Denmark Duration: 31 Aug 2022 → 2 Sept 2022 https://ifl22.github.io/

Conference	Implementation and Application of Functional Languages
Abbreviated title	IFL
Country/Territory	Denmark
City	Copenhagen
Period	31/08/22 → 2/09/22
Internet address	https://ifl22.github.io/

Cite this

@conference{17b596934a2844f89e8c70f19d097084,

title = "Verified technology mapping in an Agda DSL for circuit design",

author = "\{Pizani Flor\}, \{Joao Paulo\} and Wouter Swierstra",

year = "2022",

language = "English",

note = "Implementation and Application of Functional Languages, IFL ; Conference date: 31-08-2022 Through 02-09-2022",

url = "https://ifl22.github.io/",

}