918
|
918
|
|
:primary_source "https://f1000research.s3.amazonaws.com/manuscripts/143119/5caf90bb-69c0-4e27-8fae-8e2e7bb24dcc_126998_-_rachel_kowert.pdf" ;
|
919
|
919
|
|
:primary_source_retrieved "2023-03-22" ;
|
920
|
920
|
|
:type "PDF" .
|
|
921
|
+ |
|
|
922
|
+ |
<dokk:blob:pdf/python_3_cheat_sheet_v2.0.6_en.pdf>
|
|
923
|
+ |
:library library:python_3_cheat_sheet_v2.0.6_en ;
|
|
924
|
+ |
:primary_source "https://perso.limsi.fr/pointal/_media/python:cours:mementopython3-english.pdf" ;
|
|
925
|
+ |
:primary_source_retrieved "2023-03-23" ;
|
|
926
|
+ |
:type "PDF" .
|
|
927
|
+ |
|
|
928
|
+ |
<dokk:blob:pdf/python_jump_start_Brown_2022.pdf>
|
|
929
|
+ |
:library library:python_jump_start_Brown_2022 ;
|
|
930
|
+ |
:primary_source "https://ccse.kennesaw.edu/outreach/docs/python_jump_start.pdf" ;
|
|
931
|
+ |
:primary_source_retrieved "2023-03-23" ;
|
|
932
|
+ |
:type "PDF" .
|
|
933
|
+ |
|
|
934
|
+ |
<dokk:blob:pdf/python_web_development_brief_introduction_Wachtler_2021.pdf>
|
|
935
|
+ |
:library library:python_web_development_brief_introduction_Wachtler_2021 ;
|
|
936
|
+ |
:primary_source "https://openlib.tugraz.at/download.php?id=60e6b0971dcdc&location=browse" ;
|
|
937
|
+ |
:primary_source_retrieved "2023-03-23" ;
|
|
938
|
+ |
:type "PDF" .
|
|
939
|
+ |
|
|
940
|
+ |
<dokk:blob:pdf/integrating_graph_builder_into_python_tutor_2021.pdf>
|
|
941
|
+ |
:library library:integrating_graph_builder_into_python_tutor_2021 ;
|
|
942
|
+ |
:primary_source "https://drops.dagstuhl.de/opus/volltexte/2021/14222/pdf/OASIcs-ICPEC-2021-6.pdf" ;
|
|
943
|
+ |
:primary_source_retrieved "2023-03-23" ;
|
|
944
|
+ |
:type "PDF" .
|
|
945
|
+ |
|
|
946
|
+ |
<dokk:blob:pdf/20_years_kde.pdf>
|
|
947
|
+ |
:library library:20_years_kde ;
|
|
948
|
+ |
:primary_source "https://20years.kde.org/book/20yearsofKDE.pdf" ;
|
|
949
|
+ |
:primary_source_retrieved "2023-03-23" ;
|
|
950
|
+ |
:type "PDF" .
|
|
951
|
+ |
|
|
952
|
+ |
<dokk:blob:pdf/forensic_face_recognition_kde_evidence_theory_2021.pdf>
|
|
953
|
+ |
:library library:forensic_face_recognition_kde_evidence_theory_2021 ;
|
|
954
|
+ |
:primary_source "https://www.matec-conferences.org/articles/matecconf/pdf/2021/05/matecconf_cscns20_06008.pdf" ;
|
|
955
|
+ |
:primary_source_retrieved "2023-03-23" ;
|
|
956
|
+ |
:type "PDF" .
|
|
957
|
+ |
|
|
958
|
+ |
<dokk:blob:pdf/kde_sc_4_gbb.pdf>
|
|
959
|
+ |
:library library:kde_sc_4_gbb ;
|
|
960
|
+ |
:primary_source "https://dotancohen.com/images/kde/kde4-gbb.pdf" ;
|
|
961
|
+ |
:primary_source_retrieved "2023-03-23" ;
|
|
962
|
+ |
:type "PDF" .
|
|
963
|
+ |
|
|
964
|
+ |
<dokk:blob:pdf/creative_commons_newsletter_1.pdf>
|
|
965
|
+ |
:library library:creative_commons_newsletter_1 ;
|
|
966
|
+ |
:primary_source "https://mirrors.creativecommons.org/newsletter/ccnewsletter1.pdf" ;
|
|
967
|
+ |
:primary_source_retrieved "2023-03-23" ;
|
|
968
|
+ |
:type "PDF" .
|
|
969
|
+ |
|
|
970
|
+ |
<dokk:blob:pdf/creative_commons_newsletter_2.pdf>
|
|
971
|
+ |
:library library:creative_commons_newsletter_2 ;
|
|
972
|
+ |
:primary_source "https://mirrors.creativecommons.org/newsletter/ccnewsletter2.pdf" ;
|
|
973
|
+ |
:primary_source_retrieved "2023-03-23" ;
|
|
974
|
+ |
:type "PDF" .
|
|
975
|
+ |
|
|
976
|
+ |
<dokk:blob:pdf/creative_commons_newsletter_3.pdf>
|
|
977
|
+ |
:library library:creative_commons_newsletter_3 ;
|
|
978
|
+ |
:primary_source "https://mirrors.creativecommons.org/newsletter/ccnewsletter3.pdf" ;
|
|
979
|
+ |
:primary_source_retrieved "2023-03-23" ;
|
|
980
|
+ |
:type "PDF" .
|
|
981
|
+ |
|
|
982
|
+ |
<dokk:blob:pdf/creative_commons_newsletter_4.pdf>
|
|
983
|
+ |
:library library:creative_commons_newsletter_4 ;
|
|
984
|
+ |
:primary_source "https://mirrors.creativecommons.org/newsletter/ccnewsletter4.pdf" ;
|
|
985
|
+ |
:primary_source_retrieved "2023-03-23" ;
|
|
986
|
+ |
:type "PDF" .
|
|
987
|
+ |
|
|
988
|
+ |
<dokk:blob:pdf/creative_commons_newsletter_5.pdf>
|
|
989
|
+ |
:library library:creative_commons_newsletter_5 ;
|
|
990
|
+ |
:primary_source "https://mirrors.creativecommons.org/newsletter/ccnewsletter5.pdf" ;
|
|
991
|
+ |
:primary_source_retrieved "2023-03-23" ;
|
|
992
|
+ |
:type "PDF" .
|
|
993
|
+ |
|
|
994
|
+ |
<dokk:blob:pdf/creative_commons_newsletter_6.pdf>
|
|
995
|
+ |
:library library:creative_commons_newsletter_6 ;
|
|
996
|
+ |
:primary_source "https://mirrors.creativecommons.org/newsletter/ccnewsletter6.pdf" ;
|
|
997
|
+ |
:primary_source_retrieved "2023-03-23" ;
|
|
998
|
+ |
:type "PDF" .
|
|
999
|
+ |
|
|
1000
|
+ |
<dokk:blob:pdf/creative_commons_newsletter_7.pdf>
|
|
1001
|
+ |
:library library:creative_commons_newsletter_7 ;
|
|
1002
|
+ |
:primary_source "https://mirrors.creativecommons.org/newsletter/ccnewsletter7.pdf" ;
|
|
1003
|
+ |
:primary_source_retrieved "2023-03-23" ;
|
|
1004
|
+ |
:type "PDF" .
|
|
1005
|
+ |
|
|
1006
|
+ |
<dokk:blob:pdf/creative_commons_newsletter_8.pdf>
|
|
1007
|
+ |
:library library:creative_commons_newsletter_8 ;
|
|
1008
|
+ |
:primary_source "https://mirrors.creativecommons.org/newsletter/ccnewsletter8.pdf" ;
|
|
1009
|
+ |
:primary_source_retrieved "2023-03-23" ;
|
|
1010
|
+ |
:type "PDF" .
|
|
1011
|
+ |
|
|
1012
|
+ |
<dokk:blob:pdf/creative_commons_newsletter_9.pdf>
|
|
1013
|
+ |
:library library:creative_commons_newsletter_9 ;
|
|
1014
|
+ |
:primary_source "https://mirrors.creativecommons.org/newsletter/ccnewsletter9.pdf" ;
|
|
1015
|
+ |
:primary_source_retrieved "2023-03-23" ;
|
|
1016
|
+ |
:type "PDF" .
|
|
1017
|
+ |
|
|
1018
|
+ |
<dokk:blob:pdf/creative_commons_newsletter_10.pdf>
|
|
1019
|
+ |
:library library:creative_commons_newsletter_10 ;
|
|
1020
|
+ |
:primary_source "https://mirrors.creativecommons.org/newsletter/ccnewsletter10.pdf" ;
|
|
1021
|
+ |
:primary_source_retrieved "2023-03-23" ;
|
|
1022
|
+ |
:type "PDF" .
|
|
1023
|
+ |
|
|
1024
|
+ |
<dokk:blob:pdf/creative_commons_newsletter_11.pdf>
|
|
1025
|
+ |
:library library:creative_commons_newsletter_11 ;
|
|
1026
|
+ |
:primary_source "https://mirrors.creativecommons.org/newsletter/ccnewsletter11.pdf" ;
|
|
1027
|
+ |
:primary_source_retrieved "2023-03-23" ;
|
|
1028
|
+ |
:type "PDF" .
|
|
1029
|
+ |
|
|
1030
|
+ |
<dokk:blob:pdf/creative_commons_newsletter_12.pdf>
|
|
1031
|
+ |
:library library:creative_commons_newsletter_12 ;
|
|
1032
|
+ |
:primary_source "https://mirrors.creativecommons.org/newsletter/ccnewsletter12.pdf" ;
|
|
1033
|
+ |
:primary_source_retrieved "2023-03-23" ;
|
|
1034
|
+ |
:type "PDF" .
|
|
1035
|
+ |
|
|
1036
|
+ |
<dokk:blob:pdf/creative_commons_newsletter_13.pdf>
|
|
1037
|
+ |
:library library:creative_commons_newsletter_13 ;
|
|
1038
|
+ |
:primary_source "https://mirrors.creativecommons.org/newsletter/ccnewsletter13.pdf" ;
|
|
1039
|
+ |
:primary_source_retrieved "2023-03-23" ;
|
|
1040
|
+ |
:type "PDF" .
|
|
1041
|
+ |
|
|
1042
|
+ |
<dokk:blob:pdf/creative_commons_newsletter_14.pdf>
|
|
1043
|
+ |
:library library:creative_commons_newsletter_14 ;
|
|
1044
|
+ |
:primary_source "https://mirrors.creativecommons.org/newsletter/ccnewsletter14.pdf" ;
|
|
1045
|
+ |
:primary_source_retrieved "2023-03-23" ;
|
|
1046
|
+ |
:type "PDF" .
|
|
1047
|
+ |
|
|
1048
|
+ |
<dokk:blob:pdf/creative_commons_newsletter_15.pdf>
|
|
1049
|
+ |
:library library:creative_commons_newsletter_15 ;
|
|
1050
|
+ |
:primary_source "https://mirrors.creativecommons.org/newsletter/ccnewsletter15.pdf" ;
|
|
1051
|
+ |
:primary_source_retrieved "2023-03-23" ;
|
|
1052
|
+ |
:type "PDF" .
|
|
1053
|
+ |
|
|
1054
|
+ |
<dokk:blob:pdf/creative_commons_newsletter_16.pdf>
|
|
1055
|
+ |
:library library:creative_commons_newsletter_16 ;
|
|
1056
|
+ |
:primary_source "https://mirrors.creativecommons.org/newsletter/ccnewsletter16.pdf" ;
|
|
1057
|
+ |
:primary_source_retrieved "2023-03-23" ;
|
|
1058
|
+ |
:type "PDF" .
|
|
1059
|
+ |
|
|
1060
|
+ |
<dokk:blob:pdf/creative_commons_newsletter_17.pdf>
|
|
1061
|
+ |
:library library:creative_commons_newsletter_17 ;
|
|
1062
|
+ |
:primary_source "https://mirrors.creativecommons.org/newsletter/ccnewsletter17.pdf" ;
|
|
1063
|
+ |
:primary_source_retrieved "2023-03-23" ;
|
|
1064
|
+ |
:type "PDF" .
|
|
1065
|
+ |
|
|
1066
|
+ |
<dokk:blob:pdf/glycan_naming_subsumption_ontology_2021.pdf>
|
|
1067
|
+ |
:library library:glycan_naming_subsumption_ontology_2021 ;
|
|
1068
|
+ |
:primary_source "https://ceur-ws.org/Vol-3073/paper11.pdf" ;
|
|
1069
|
+ |
:primary_source_retrieved "2023-03-23" ;
|
|
1070
|
+ |
:type "PDF" .
|
|
1071
|
+ |
|
|
1072
|
+ |
<dokk:blob:pdf/cultivating_creative_commons_Tsiavos_2007.pdf>
|
|
1073
|
+ |
:library library:cultivating_creative_commons_Tsiavos_2007 ;
|
|
1074
|
+ |
:primary_source "http://etheses.lse.ac.uk/264/1/Tsiavos_Cultivating%20creative%20commons.pdf" ;
|
|
1075
|
+ |
:primary_source_retrieved "2023-03-23" ;
|
|
1076
|
+ |
:type "PDF" .
|
|
1077
|
+ |
|
|
1078
|
+ |
<dokk:blob:pdf/olpc_software_roadmap_2008.pdf>
|
|
1079
|
+ |
:library library:olpc_software_roadmap_2008 ;
|
|
1080
|
+ |
:primary_source "http://download.laptop.org/content/conf/20080520-country-wkshp/Presentations/OLPC%20Country%20Meeting%20-%20Day%203%20-%20May%2022nd,%202008/Country_Mtg_Roadmap_May2008.pdf" ;
|
|
1081
|
+ |
:primary_source_retrieved "2023-03-23" ;
|
|
1082
|
+ |
:type "PDF" .
|
|
1083
|
+ |
|
|
1084
|
+ |
<dokk:blob:pdf/xubuntu_documentation_2017.pdf>
|
|
1085
|
+ |
:library library:xubuntu_documentation_2017 ;
|
|
1086
|
+ |
:primary_source "https://docs.xubuntu.org/1810/user/en_GB/xubuntu-documentation-USletter.pdf" ;
|
|
1087
|
+ |
:primary_source_retrieved "2023-03-23" ;
|
|
1088
|
+ |
:type "PDF" .
|
|
1089
|
+ |
|
|
1090
|
+ |
<dokk:blob:pdf/appstream_description_for_all_distros_Gnatenko.pdf>
|
|
1091
|
+ |
:library library:appstream_description_for_all_distros_Gnatenko ;
|
|
1092
|
+ |
:primary_source "https://ignatenkobrain.fedorapeople.org/events/Fedora%2021%20Release%20Party%20(Moscow,%20Russia)/AppStream%20-%20Description%20for%20all%20distros.pdf" ;
|
|
1093
|
+ |
:primary_source_retrieved "2023-03-23" ;
|
|
1094
|
+ |
:type "PDF" .
|
|
1095
|
+ |
|
|
1096
|
+ |
<dokk:blob:pdf/wikimedia_commons_2017.pdf>
|
|
1097
|
+ |
:library library:wikimedia_commons_2017 ;
|
|
1098
|
+ |
:primary_source "https://upload.wikimedia.org/wikipedia/commons/0/0c/Wikimedia_Commons_web_en.pdf" ;
|
|
1099
|
+ |
:primary_source_retrieved "2023-03-23" ;
|
|
1100
|
+ |
:type "PDF" .
|
|
1101
|
+ |
|
|
1102
|
+ |
<dokk:blob:pdf/integrating_librelffice_gnome_documents_GUADEC_2015.pdf>
|
|
1103
|
+ |
:library library:integrating_librelffice_gnome_documents_GUADEC_2015 ;
|
|
1104
|
+ |
:primary_source "https://mmohrhard.files.wordpress.com/2015/08/integrating-libreoffice-with-gnome-documents.pdf" ;
|
|
1105
|
+ |
:primary_source_retrieved "2023-03-23" ;
|
|
1106
|
+ |
:type "PDF" .
|
|
1107
|
+ |
|
|
1108
|
+ |
<dokk:blob:pdf/arch_linux_magazine_1_2009.pdf>
|
|
1109
|
+ |
:library library:arch_linux_magazine_1_2009 ;
|
|
1110
|
+ |
:primary_source "http://web.archive.org/web/20090824101804/https://archlinux.org/static/newsletters/ALM-2009-Aug.pdf" ;
|
|
1111
|
+ |
:primary_source_retrieved "2023-03-23" ;
|
|
1112
|
+ |
:type "PDF" .
|
|
1113
|
+ |
|
|
1114
|
+ |
<dokk:blob:pdf/stand_up_for_the_gnu_gpl_libreplanet_2015.pdf>
|
|
1115
|
+ |
:library library:stand_up_for_the_gnu_gpl_libreplanet_2015 ;
|
|
1116
|
+ |
:primary_source "https://media.libreplanet.org/mgoblin_media/media_entries/98/karen-sandler-slides.pdf" ;
|
|
1117
|
+ |
:primary_source_retrieved "2023-03-23" ;
|
|
1118
|
+ |
:type "PDF" .
|
|
1119
|
+ |
|
|
1120
|
+ |
<dokk:blob:pdf/the_laughing_giant_secret_Schmeer_2011.pdf>
|
|
1121
|
+ |
:library library:the_laughing_giant_secret_Schmeer_2011 ;
|
|
1122
|
+ |
:primary_source "http://blogs.jccc.edu/schmeer/files/2013/09/TheLaughingGiantsSecret.pdf" ;
|
|
1123
|
+ |
:primary_source_retrieved "2023-03-23" ;
|
|
1124
|
+ |
:type "PDF" .
|
|
1125
|
+ |
|
|
1126
|
+ |
<dokk:blob:pdf/lazzer_bears_Schmeer_2012.pdf>
|
|
1127
|
+ |
:library library:lazzer_bears_Schmeer_2012 ;
|
|
1128
|
+ |
:primary_source "http://blogs.jccc.edu/schmeer/files/2013/09/LazzerBears.pdf" ;
|
|
1129
|
+ |
:primary_source_retrieved "2023-03-23" ;
|
|
1130
|
+ |
:type "PDF" .
|
|
1131
|
+ |
|
|
1132
|
+ |
<dokk:blob:pdf/the_wizard_in_the_woods_is_up_to_something_Schmeer_2013.pdf>
|
|
1133
|
+ |
:library library:the_wizard_in_the_woods_is_up_to_something_Schmeer_2013 ;
|
|
1134
|
+ |
:primary_source "http://blogs.jccc.edu/schmeer/files/2013/09/Wizard_in_the_Woods.pdf" ;
|
|
1135
|
+ |
:primary_source_retrieved "2023-03-23" ;
|
|
1136
|
+ |
:type "PDF" .
|
|
1137
|
+ |
|
|
1138
|
+ |
<dokk:blob:pdf/dungeons_dragons_srd_v5.1.pdf>
|
|
1139
|
+ |
:library library:dungeons_dragons_srd_v5.1 ;
|
|
1140
|
+ |
:primary_source "https://www.dndbeyond.com/attachments/39j2li89/SRD5.1-CCBY4.0_License_live%20links.pdf" ;
|
|
1141
|
+ |
:primary_source_retrieved "2023-03-23" ;
|
|
1142
|
+ |
:type "PDF" .
|
|
1143
|
+ |
|
|
1144
|
+ |
<dokk:blob:pdf/quick_start_guide_for_the_librem_laptops.pdf>
|
|
1145
|
+ |
:library library:quick_start_guide_for_the_librem_laptops ;
|
|
1146
|
+ |
:primary_source "https://docs.puri.sm/_downloads/afa76bd8033d3a88d4063da4cf35542b/Librem-laptops-Quick-Start-Guide-1.0.0.pdf" ;
|
|
1147
|
+ |
:primary_source_retrieved "2023-03-23" ;
|
|
1148
|
+ |
:type "PDF" .
|
|
1149
|
+ |
|
|
1150
|
+ |
<dokk:blob:pdf/governance_of_massive_multiauthor_collaboration.pdf>
|
|
1151
|
+ |
:library library:governance_of_massive_multiauthor_collaboration ;
|
|
1152
|
+ |
:primary_source "http://www.rechtstheorie.uni-koeln.de/wp-content/uploads/JIPITEC-2-Wielsch-Governance.pdf" ;
|
|
1153
|
+ |
:primary_source_retrieved "2023-03-23" ;
|
|
1154
|
+ |
:type "PDF" .
|
|
1155
|
+ |
|
|
1156
|
+ |
<dokk:blob:pdf/the_gnome3_desktop_and_you_2011.pdf>
|
|
1157
|
+ |
:library library:the_gnome3_desktop_and_you_2011 ;
|
|
1158
|
+ |
:primary_source "https://honk.sigxcpu.org/piki/agx/publications/2011-08-gnome3-froscon.pdf" ;
|
|
1159
|
+ |
:primary_source_retrieved "2023-03-23" ;
|
|
1160
|
+ |
:type "PDF" .
|
|
1161
|
+ |
|
|
1162
|
+ |
<dokk:blob:pdf/set_up_and_use_mobile_hotspots_Thoms_v1.0.pdf>
|
|
1163
|
+ |
:library library:set_up_and_use_mobile_hotspots_Thoms_v1.0 ;
|
|
1164
|
+ |
:primary_source "https://dl.min.uni-hamburg.de/en/guides/mobile-hotspot/page.pdf" ;
|
|
1165
|
+ |
:primary_source_retrieved "2023-03-23" ;
|
|
1166
|
+ |
:type "PDF" .
|
|
1167
|
+ |
|
|
1168
|
+ |
<dokk:blob:pdf/kinesynth_patching_modulating_mixing_MIT_2018.pdf>
|
|
1169
|
+ |
:library library:kinesynth_patching_modulating_mixing_MIT_2018 ;
|
|
1170
|
+ |
:primary_source "https://resenv.media.mit.edu/pubs/papers/kinesynth-NIME18.pdf" ;
|
|
1171
|
+ |
:primary_source_retrieved "2023-03-23" ;
|
|
1172
|
+ |
:type "PDF" .
|
|
1173
|
+ |
|
|
1174
|
+ |
<dokk:blob:pdf/bureau_3D_sous_Linux_avec_gnome_et_xgl_2006.pdf>
|
|
1175
|
+ |
:library library:bureau_3D_sous_Linux_avec_gnome_et_xgl_2006 ;
|
|
1176
|
+ |
:primary_source "https://download.tuxfamily.org/actux/presentations/20061019-gnome-3d.pdf" ;
|
|
1177
|
+ |
:primary_source_retrieved "2023-03-23" ;
|
|
1178
|
+ |
:type "PDF" .
|
|
1179
|
+ |
|
|
1180
|
+ |
<dokk:blob:pdf/functional_reactive_programming_without_space_leaks_haskell_2022.pdf>
|
|
1181
|
+ |
:library library:functional_reactive_programming_without_space_leaks_haskell_2022 ;
|
|
1182
|
+ |
:primary_source "https://www.cambridge.org/core/services/aop-cambridge-core/content/view/9BE20E8D61E9B74811CF3CF97B5D10C7/S0956796822000132a.pdf/modal-frp-for-all-functional-reactive-programming-without-space-leaks-in-haskell.pdf" ;
|
|
1183
|
+ |
:primary_source_retrieved "2023-03-23" ;
|
|
1184
|
+ |
:type "PDF" .
|
|
1185
|
+ |
|
|
1186
|
+ |
<dokk:blob:pdf/following_the_grammar_with_haskell_Leavens_2013.pdf>
|
|
1187
|
+ |
:library library:following_the_grammar_with_haskell_Leavens_2013 ;
|
|
1188
|
+ |
:primary_source "https://www.cs.ucf.edu/~leavens/COP4020/docs/follow-grammar-haskell.pdf" ;
|
|
1189
|
+ |
:primary_source_retrieved "2023-03-23" ;
|
|
1190
|
+ |
:type "PDF" .
|
|
1191
|
+ |
|
|
1192
|
+ |
<dokk:blob:pdf/persistent_software_transactional_memory_in_haskell_ACM_2021.pdf>
|
|
1193
|
+ |
:library library:persistent_software_transactional_memory_in_haskell_ACM_2021 ;
|
|
1194
|
+ |
:primary_source "https://dl.acm.org/doi/pdf/10.1145/3473568" ;
|
|
1195
|
+ |
:primary_source_retrieved "2023-03-23" ;
|
|
1196
|
+ |
:type "PDF" .
|
|
1197
|
+ |
|
|
1198
|
+ |
<dokk:blob:pdf/overcoming_non_distributivity_TFPIE_2017.pdf>
|
|
1199
|
+ |
:library library:overcoming_non_distributivity_TFPIE_2017 ;
|
|
1200
|
+ |
:primary_source "https://www.cs.kent.ac.uk/people/staff/sjt/TFPIE2017/TFPIE_2017/Papers/TFPIE_2017_paper_7.pdf" ;
|
|
1201
|
+ |
:primary_source_retrieved "2023-03-23" ;
|
|
1202
|
+ |
:type "PDF" .
|
|
1203
|
+ |
|
|
1204
|
+ |
<dokk:blob:pdf/enhancing_learning_experience_TFPIE_2017.pdf>
|
|
1205
|
+ |
:library library:enhancing_learning_experience_TFPIE_2017 ;
|
|
1206
|
+ |
:primary_source "https://www.cs.kent.ac.uk/people/staff/sjt/TFPIE2017/TFPIE_2017/Papers/TFPIE_2017_paper_3.pdf" ;
|
|
1207
|
+ |
:primary_source_retrieved "2023-03-23" ;
|
|
1208
|
+ |
:type "PDF" .
|
|
1209
|
+ |
|
|
1210
|
+ |
<dokk:blob:pdf/using_elm_to_introduce_algebraic_thinking_TFPIE_2017.pdf>
|
|
1211
|
+ |
:library library:using_elm_to_introduce_algebraic_thinking_TFPIE_2017 ;
|
|
1212
|
+ |
:primary_source "https://www.cs.kent.ac.uk/people/staff/sjt/TFPIE2017/TFPIE_2017/Papers/TFPIE_2017_paper_2.pdf" ;
|
|
1213
|
+ |
:primary_source_retrieved "2023-03-23" ;
|
|
1214
|
+ |
:type "PDF" .
|
|
1215
|
+ |
|
|
1216
|
+ |
<dokk:blob:pdf/functional_baby_talk_TFPIE_2017.pdf>
|
|
1217
|
+ |
:library library:functional_baby_talk_TFPIE_2017 ;
|
|
1218
|
+ |
:primary_source "https://www.cs.kent.ac.uk/people/staff/sjt/TFPIE2017/TFPIE_2017/Papers/TFPIE_2017_paper_5.pdf" ;
|
|
1219
|
+ |
:primary_source_retrieved "2023-03-23" ;
|
|
1220
|
+ |
:type "PDF" .
|
|
1221
|
+ |
|
|
1222
|
+ |
<dokk:blob:pdf/teaching_erlang_through_the_internet_TFPIE_2017.pdf>
|
|
1223
|
+ |
:library library:teaching_erlang_through_the_internet_TFPIE_2017 ;
|
|
1224
|
+ |
:primary_source "https://www.cs.kent.ac.uk/people/staff/sjt/TFPIE2017/TFPIE_2017/Papers/TFPIE_2017_paper_6.pdf" ;
|
|
1225
|
+ |
:primary_source_retrieved "2023-03-23" ;
|
|
1226
|
+ |
:type "PDF" .
|
|
1227
|
+ |
|
|
1228
|
+ |
<dokk:blob:pdf/law_and_technology_in_the_US_law_school_industry_2022.pdf>
|
|
1229
|
+ |
:library library:law_and_technology_in_the_US_law_school_industry_2022 ;
|
|
1230
|
+ |
:primary_source "https://www.degruyter.com/document/doi/10.1515/gj-2022-0010/pdf" ;
|
|
1231
|
+ |
:primary_source_retrieved "2023-03-23" ;
|
|
1232
|
+ |
:type "PDF" .
|
|
1233
|
+ |
|
|
1234
|
+ |
<dokk:blob:pdf/relativistic_programming_in_haskell_PDX_2016.pdf>
|
|
1235
|
+ |
:library library:relativistic_programming_in_haskell_PDX_2016 ;
|
|
1236
|
+ |
:primary_source "http://web.cecs.pdx.edu/~theod/papers/haskell2015.pdf" ;
|
|
1237
|
+ |
:primary_source_retrieved "2023-03-23" ;
|
|
1238
|
+ |
:type "PDF" .
|
|
1239
|
+ |
|
|
1240
|
+ |
<dokk:blob:pdf/dependently_typed_haskell_in_industry_ACM_2019.pdf>
|
|
1241
|
+ |
:library library:dependently_typed_haskell_in_industry_ACM_2019 ;
|
|
1242
|
+ |
:primary_source "https://www.davidchristiansen.dk/pubs/dependent-haskell-experience-report.pdf" ;
|
|
1243
|
+ |
:primary_source_retrieved "2023-03-23" ;
|
|
1244
|
+ |
:type "PDF" .
|
|
1245
|
+ |
|
|
1246
|
+ |
<dokk:blob:pdf/haskell_for_ocaml_programmers_2022-05-02.pdf>
|
|
1247
|
+ |
:library library:haskell_for_ocaml_programmers_2022-05-02 ;
|
|
1248
|
+ |
:primary_source "https://dr-knz.net/haskell-for-ocaml-programmers.pdf" ;
|
|
1249
|
+ |
:primary_source_retrieved "2023-03-23" ;
|
|
1250
|
+ |
:type "PDF" .
|
|
1251
|
+ |
|
|
1252
|
+ |
<dokk:blob:pdf/basic_haskell_cheat_sheet_Matela_2021.pdf>
|
|
1253
|
+ |
:library library:basic_haskell_cheat_sheet_Matela_2021 ;
|
|
1254
|
+ |
:primary_source "https://matela.com.br/haskell-cs.pdf" ;
|
|
1255
|
+ |
:primary_source_retrieved "2023-03-23" ;
|
|
1256
|
+ |
:type "PDF" .
|
|
1257
|
+ |
|
|
1258
|
+ |
<dokk:blob:pdf/application_patterns_in_functional_languages_Oosterhof_2005.pdf>
|
|
1259
|
+ |
:library library:application_patterns_in_functional_languages_Oosterhof_2005 ;
|
|
1260
|
+ |
:primary_source "http://essay.utwente.nl/57656/1/scriptie_Oosterhof.pdf" ;
|
|
1261
|
+ |
:primary_source_retrieved "2023-03-23" ;
|
|
1262
|
+ |
:type "PDF" .
|
|
1263
|
+ |
|
|
1264
|
+ |
<dokk:blob:pdf/hlola_2021.pdf>
|
|
1265
|
+ |
:library library:hlola_2021 ;
|
|
1266
|
+ |
:primary_source "https://software.imdea.org/~cesar/papers/2021/gorostiaga21hlola/gorostiaga21hlola.pdf" ;
|
|
1267
|
+ |
:primary_source_retrieved "2023-03-23" ;
|
|
1268
|
+ |
:type "PDF" .
|
|
1269
|
+ |
|
|
1270
|
+ |
<dokk:blob:pdf/the_idris_tutorial_v1.3.3.pdf>
|
|
1271
|
+ |
:library library:the_idris_tutorial_v1.3.3 ;
|
|
1272
|
+ |
:primary_source "https://docs.idris-lang.org/_/downloads/en/latest/pdf/" ;
|
|
1273
|
+ |
:primary_source_retrieved "2023-03-23" ;
|
|
1274
|
+ |
:type "PDF" .
|
|
1275
|
+ |
|
|
1276
|
+ |
<dokk:blob:pdf/markedly_Meta_2017.pdf>
|
|
1277
|
+ |
:library library:markedly_Meta_2017 ;
|
|
1278
|
+ |
:primary_source "https://tupl.cs.tufts.edu/papers/meta17-final2.pdf" ;
|
|
1279
|
+ |
:primary_source_retrieved "2023-03-23" ;
|
|
1280
|
+ |
:type "PDF" .
|
|
1281
|
+ |
|
|
1282
|
+ |
<dokk:blob:pdf/verifying_replicated_data_types_with_typeclass_refinements_liquid_haskell_2020.pdf>
|
|
1283
|
+ |
:library library:verifying_replicated_data_types_with_typeclass_refinements_liquid_haskell_2020 ;
|
|
1284
|
+ |
:primary_source "http://www.cs.umd.edu/~mwh/papers/lh-typeclasses.pdf" ;
|
|
1285
|
+ |
:primary_source_retrieved "2023-03-23" ;
|
|
1286
|
+ |
:type "PDF" .
|
|
1287
|
+ |
|
|
1288
|
+ |
<dokk:blob:pdf/data_types_as_quotients_of_polynomial_functors_ITP_2019.pdf>
|
|
1289
|
+ |
:library library:data_types_as_quotients_of_polynomial_functors_ITP_2019 ;
|
|
1290
|
+ |
:primary_source "http://www.contrib.andrew.cmu.edu/~avigad/Papers/qpf.pdf" ;
|
|
1291
|
+ |
:primary_source_retrieved "2023-03-23" ;
|
|
1292
|
+ |
:type "PDF" .
|
|
1293
|
+ |
|
|
1294
|
+ |
<dokk:blob:pdf/logic_for_exact_real_arithmetic_2021.pdf>
|
|
1295
|
+ |
:library library:logic_for_exact_real_arithmetic_2021 ;
|
|
1296
|
+ |
:primary_source "https://lmcs.episciences.org/7383/pdf" ;
|
|
1297
|
+ |
:primary_source_retrieved "2023-03-23" ;
|
|
1298
|
+ |
:type "PDF" .
|
|
1299
|
+ |
|
|
1300
|
+ |
<dokk:blob:pdf/principles_of_programming_languages_Pradella_2019.pdf>
|
|
1301
|
+ |
:library library:principles_of_programming_languages_Pradella_2019 ;
|
|
1302
|
+ |
:primary_source "https://pradella.faculty.polimi.it/PL/Haskell.pdf" ;
|
|
1303
|
+ |
:primary_source_retrieved "2023-03-23" ;
|
|
1304
|
+ |
:type "PDF" .
|