Proceedings 6th Workshop on Mathematically Structured Functional Programming (MSFP 2016) : Eindhoven, The Netherlands, 8 April 2016 (allikas)

—
—
—
—
Lisa tingimus Liitotsing filter
Tühista
teaviku laadid

Toon andmeid..
Toon andmeid..
Toon andmeid..
Toon andmeid..
Toon andmeid..
Toon andmeid..
Toon andmeid..
Tühista
  • artikkel kogumikus
    Directed containers as categoriesAhman, Danel; Uustalu, TarmoProceedings 6th Workshop on Mathematically Structured Functional Programming (MSFP 2016) : Eindhoven, The Netherlands, 8 April 20162016 / p. 89-98 http://doi.org/10.4204/eptcs.207.5
    artikkel kogumikus
  • artikkel kogumikus
    Variations on NoetheriannessFirsov, Denis; Uustalu, Tarmo; Veltri, NiccoloProceedings 6th Workshop on Mathematically Structured Functional Programming (MSFP 2016) : Eindhoven, The Netherlands, 8 April 20162016 / p. 76-88 : ill http://doi.org/10.4204/eptcs.207.4
    artikkel kogumikus
Kirjeid leitud 2, kuvan 1 - 2