Experimenting with graded monads: certified grading-based program transformations
author
Talvik, Tõnn
Uustalu, Tarmo
statement of authorship
Tõnn Talvik and Tarmo Uustalu
source
24th International Conference on Types for Proofs and Programs : TYPES 2018, Braga, Portugal, 18-21 June, 2018 : abstracts
location of publication
Braga
publisher
Centro de Matematica University of Minho
year of publication
2018
pages
p. 82-83
conference name, date
24th International Conference on Types for Proofs and Programs : TYPES 2018, 18-21 June, 2018
conference location
Braga, Portugal
url
https://types2018.projj.eu/book-of-abstracts/
subject term
programmeerimine
programmeerimiskeeled
Agda (programmeerimiskeel)
monoidid
subject of form
konverentsikogumikud
notes
Bibliogr.: 5 ref
TalTech department
tarkvarateaduse instituut
language
inglise