Variations on Noetherianness
author
Firsov, Denis
Uustalu, Tarmo
Veltri, Niccolo
statement of authorship
Denis Firsov, Tarmo Uustalu, Niccolo Veltri
source
Proceedings 6th Workshop on Mathematically Structured Functional Programming (MSFP 2016) : Eindhoven, The Netherlands, 8 April 2016
location of publication
Sydney
publisher
Open Publishing Association
year of publication
2016
pages
p. 76-88 : ill
series
Electronic proceedings in theoretical computer science ; 207
conference name, date
6th Workshop on Mathematically Structured Functional Programming, 8 April, 2016
conference location
Eindhoven, The Netherlands
url
http://doi.org/10.4204/eptcs.207.4
subject term
programmeerimiskeeled
programmeerimine
ISSN
2075-2180
notes
Bibliogr.: 11 ref
TTÜ department
TTÜ Küberneetika Instituut
arvutiteaduse instituut
language
inglise