Greatest HITs: Higher Inductive Types in Coinductive Definitions via Induction under Clocks

Magnus Baunsgaard Kristensen; Rasmus Ejlers Møgelberg; Andrea Vezzosi

doi:10.1145/3531130.3533359

Greatest HITs: Higher Inductive Types in Coinductive Definitions via Induction under Clocks

Magnus Baunsgaard Kristensen
, Rasmus Ejlers Møgelberg
, Andrea Vezzosi

Programming Logic and Semantics

Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

Originalsprog	Dansk
Titel	Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer Science
Antal sider	13
Forlag	Association for Computing Machinery
Publikationsdato	2022
Artikelnummer	42
ISBN (Trykt)	9781450393515
DOI	https://doi.org/10.1145/3531130.3533359
Status	Udgivet - 2022
Begivenhed	Symposium on Logic in Computer Science - Haifa, Israel Varighed: 2 aug. 2022 → 5 aug. 2022 Konferencens nummer: 37 https://dl.acm.org/doi/proceedings/10.1145/3531130

Symposium

Symposium	Symposium on Logic in Computer Science
Nummer	37
Land/Område	Israel
By	Haifa
Periode	02/08/2022 → 05/08/2022
Internetadresse	https://dl.acm.org/doi/proceedings/10.1145/3531130

Adgang til dokumentet

10.1145/3531130.3533359

CubicalCloTTAccepteret manuskript, 799 KB

https://arxiv.org/abs/2102.01969

Type theories for reactive programming
Møgelberg, R. E. (PI), Vezzosi, A. (CoI), Graulund, C. U. (CoI), Kristensen, M. B. (CoI) & Veltri, N. (CoI)
Villum Fonden
22/01/2016 → 21/01/2022
Projekter: Projekt › Forskning

Citationsformater

@inproceedings{5a4e8bf3158b420f9edb163d8f9a1f70,

title = "Greatest HITs: Higher Inductive Types in Coinductive Definitions via Induction under Clocks",

author = "Kristensen, \{Magnus Baunsgaard\} and M{\o}gelberg, \{Rasmus Ejlers\} and Andrea Vezzosi",

year = "2022",

doi = "10.1145/3531130.3533359",

language = "Dansk",

isbn = "9781450393515",

booktitle = "Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer Science",

publisher = "Association for Computing Machinery",

address = "USA",

note = "Symposium on Logic in Computer Science, LICS ; Conference date: 02-08-2022 Through 05-08-2022",

url = "https://dl.acm.org/doi/proceedings/10.1145/3531130",

}

Kristensen, MB, Møgelberg, RE & Vezzosi, A 2022, Greatest HITs: Higher Inductive Types in Coinductive Definitions via Induction under Clocks. i Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer Science., 42, Association for Computing Machinery, Symposium on Logic in Computer Science, Haifa, Israel, 02/08/2022. https://doi.org/10.1145/3531130.3533359

Greatest HITs: Higher Inductive Types in Coinductive Definitions via Induction under Clocks. / Kristensen, Magnus Baunsgaard; Møgelberg, Rasmus Ejlers; Vezzosi, Andrea.
Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer Science. Association for Computing Machinery, 2022. 42.

Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

TY - GEN

T1 - Greatest HITs: Higher Inductive Types in Coinductive Definitions via Induction under Clocks

AU - Kristensen, Magnus Baunsgaard

AU - Møgelberg, Rasmus Ejlers

AU - Vezzosi, Andrea

N1 - Conference code: 37

PY - 2022

Y1 - 2022

U2 - 10.1145/3531130.3533359

DO - 10.1145/3531130.3533359

M3 - Konferencebidrag i proceedings

SN - 9781450393515

BT - Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer Science

PB - Association for Computing Machinery

T2 - Symposium on Logic in Computer Science

Y2 - 2 August 2022 through 5 August 2022

ER -

Greatest HITs: Higher Inductive Types in Coinductive Definitions via Induction under Clocks

Symposium

Adgang til dokumentet

Projekter

Type theories for reactive programming

Citationsformater