Experimenting with graded monads: certified grading-based program transformations
author
Talvik, Tõnn
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
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
subject of form
notes
Bibliogr.: 5 ref
TTÜ department
language
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.