Directed containers as categories
Ahman, Danel
;
Uustalu, Tarmo
Proceedings 6th Workshop on Mathematically Structured Functional Programming (MSFP 2016) : Eindhoven, The Netherlands, 8 April 2016
2016
/
p. 89-98
https://doi.org/10.4204/eptcs.207.5
https://www.scopus.com/sourceid/21100244944
https://www.scopus.com/record/display.uri?eid=2-s2.0-84991629033&origin=inward&txGid=ae8ee1c337b0ae6717ea67b1fbcf86af
https://www.webofscience.com/wos/woscc/full-record/WOS:000390278400006
Variations on Noetherianness
Firsov, Denis
;
Uustalu, Tarmo
;
Veltri, Niccolo
Proceedings 6th Workshop on Mathematically Structured Functional Programming (MSFP 2016) : Eindhoven, The Netherlands, 8 April 2016
2016
/
p. 76-88 : ill
https://doi.org/10.4204/eptcs.207.4
https://www.scopus.com/sourceid/21100244944
https://www.scopus.com/record/display.uri?eid=2-s2.0-84991672233&origin=inward&txGid=7cfe2cb50f0a4ed4cc9f981d3904dc86
https://www.webofscience.com/wos/woscc/full-record/WOS:000390278400005