π-Ware: Hardware Description and Verification in Agda

J.P. Pizani Flor; W.S. Swierstra; Yorick  Sijsling

doi:10.4230/LIPIcs.TYPES.2015.9

π-Ware: Hardware Description and Verification in Agda

J.P. Pizani Flor, W.S. Swierstra, Yorick Sijsling

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

Original language	English
Title of host publication	21st International Conference on Types for Proofs and Programs TYPES 2015, Tallinn, Estonia, 18-21 May 2015
Subtitle of host publication	Abstracts
Editors	Tarmo Uustalu
Publisher	Institute of Cybernetics, Tallinn Technical University
Pages	67-68
DOIs	https://doi.org/10.4230/LIPIcs.TYPES.2015.9
Publication status	Published - 2016

Access to Document

10.4230/LIPIcs.TYPES.2015.9Licence: CC BY

67Final published version, 147 KBLicence: CC BY

Cite this

Pizani Flor, J. P., Swierstra, W. S., & Sijsling, Y. (2016). π-Ware: Hardware Description and Verification in Agda. In T. Uustalu (Ed.), 21st International Conference on Types for Proofs and Programs TYPES 2015, Tallinn, Estonia, 18-21 May 2015: Abstracts (pp. 67-68). Institute of Cybernetics, Tallinn Technical University. https://doi.org/10.4230/LIPIcs.TYPES.2015.9

@inproceedings{c66985ea25c44d858c2bc44347cd8226,

title = "π-Ware: Hardware Description and Verification in Agda",

author = "{Pizani Flor}, J.P. and W.S. Swierstra and Yorick Sijsling",

year = "2016",

doi = "10.4230/LIPIcs.TYPES.2015.9",

language = "English",

pages = "67--68",

editor = "{ Uustalu}, Tarmo",

booktitle = "21st International Conference on Types for Proofs and Programs TYPES 2015, Tallinn, Estonia, 18-21 May 2015",

publisher = "Institute of Cybernetics, Tallinn Technical University",

}

π-Ware: Hardware Description and Verification in Agda. / Pizani Flor, J.P.; Swierstra, W.S.; Sijsling, Yorick .
21st International Conference on Types for Proofs and Programs TYPES 2015, Tallinn, Estonia, 18-21 May 2015: Abstracts . ed. / Tarmo Uustalu. Institute of Cybernetics, Tallinn Technical University, 2016. p. 67-68.

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

TY - GEN

T1 - π-Ware

T2 - Hardware Description and Verification in Agda

AU - Pizani Flor, J.P.

AU - Swierstra, W.S.

AU - Sijsling, Yorick

PY - 2016

Y1 - 2016

U2 - 10.4230/LIPIcs.TYPES.2015.9

DO - 10.4230/LIPIcs.TYPES.2015.9

M3 - Conference contribution

SP - 67

EP - 68

BT - 21st International Conference on Types for Proofs and Programs TYPES 2015, Tallinn, Estonia, 18-21 May 2015

A2 - Uustalu, Tarmo

PB - Institute of Cybernetics, Tallinn Technical University

ER -