prindi

Experimenting with graded monads: certified grading-based program transformations

autor
Talvik, Tõnn
Uustalu, Tarmo
vastutusandmed
Tõnn Talvik and Tarmo Uustalu
allikas
24th International Conference on Types for Proofs and Programs : TYPES 2018, Braga, Portugal, 18-21 June, 2018 : abstracts
ilmumiskoht
Braga
kirjastus/väljaandja
Centro de Matematica University of Minho
ilmumisaasta
2018
leheküljed
p. 82-83
konverentsi nimetus, aeg
24th International Conference on Types for Proofs and Programs : TYPES 2018, 18-21 June, 2018
konverentsi toimumispaik
Braga, Portugal
leitav
https://types2018.projj.eu/book-of-abstracts/
märksõna
programmeerimine
programmeerimiskeeled
Agda (programmeerimiskeel)
monoidid
vormimärksõna
konverentsikogumikud
märkused
Bibliogr.: 5 ref
TTÜ struktuuriüksus
tarkvarateaduse instituut
keel
inglise
Talvik, T., Uustalu, T. Experimenting with graded monads: certified grading-based program transformations // 24th International Conference on Types for Proofs and Programs : TYPES 2018, Braga, Portugal, 18-21 June, 2018 : abstracts. Braga : Centro de Matematica University of Minho, 2018. p. 82-83. https://types2018.projj.eu/book-of-abstracts/