Search Results - "Functional Programming Keywords datatype-generic programming"
-
1
Authors:
Contributors:
Subject Terms: Categories and Subject Descriptors niques, Functional Programming Keywords datatype-generic programming, Haskell, kind polymorphism, datakinds, Agda
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.366.2547; http://www.dreixel.net/research/pdf/trkgp_nocolor.pdf
-
2
Authors:
Contributors:
Subject Terms: Categories and Subject Descriptors niques, Functional Programming Keywords datatype-generic programming, Haskell, kind polymorphism, datakinds, Agda
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.366.2285; http://www.dreixel.net/research/pdf/trkgp.pdf
-
3
Authors:
Contributors:
Subject Terms: D.1.1 [Programming Tech- Categories and Subject Descriptors niques, Functional Programming Keywords datatype-generic programming, diff, editing, Haskell
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.366.4100; http://www.dreixel.net/research/pdf/grtt_nocolor.pdf
-
4
Authors:
Contributors:
Subject Terms: D.1.1 [Programming Tech- Categories and Subject Descriptors niques, Functional Programming Keywords datatype-generic programming, diff, editing, Haskell
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.366.2436; http://www.dreixel.net/research/pdf/grtt.pdf
Nájsť tento článok vo Web of Science