From 21509f96d27d9569e07aa437bfde05f33f52b4ad Mon Sep 17 00:00:00 2001 From: zPlus Date: Fri, 24 Mar 2023 00:07:41 +0100 Subject: [PATCH] Add more PDFs to the library. --- data/blob.ttl | 384 +++++++++++++++++++++++++++++++++++++++++++++++ data/library.ttl | 327 ++++++++++++++++++++++++++++++++++++++++ 2 files changed, 711 insertions(+) diff --git a/data/blob.ttl b/data/blob.ttl index a7e55fd..5599f91 100644 --- a/data/blob.ttl +++ b/data/blob.ttl @@ -918,3 +918,387 @@ prefix library: :primary_source "https://f1000research.s3.amazonaws.com/manuscripts/143119/5caf90bb-69c0-4e27-8fae-8e2e7bb24dcc_126998_-_rachel_kowert.pdf" ; :primary_source_retrieved "2023-03-22" ; :type "PDF" . + + + :library library:python_3_cheat_sheet_v2.0.6_en ; + :primary_source "https://perso.limsi.fr/pointal/_media/python:cours:mementopython3-english.pdf" ; + :primary_source_retrieved "2023-03-23" ; + :type "PDF" . + + + :library library:python_jump_start_Brown_2022 ; + :primary_source "https://ccse.kennesaw.edu/outreach/docs/python_jump_start.pdf" ; + :primary_source_retrieved "2023-03-23" ; + :type "PDF" . + + + :library library:python_web_development_brief_introduction_Wachtler_2021 ; + :primary_source "https://openlib.tugraz.at/download.php?id=60e6b0971dcdc&location=browse" ; + :primary_source_retrieved "2023-03-23" ; + :type "PDF" . + + + :library library:integrating_graph_builder_into_python_tutor_2021 ; + :primary_source "https://drops.dagstuhl.de/opus/volltexte/2021/14222/pdf/OASIcs-ICPEC-2021-6.pdf" ; + :primary_source_retrieved "2023-03-23" ; + :type "PDF" . + + + :library library:20_years_kde ; + :primary_source "https://20years.kde.org/book/20yearsofKDE.pdf" ; + :primary_source_retrieved "2023-03-23" ; + :type "PDF" . + + + :library library:forensic_face_recognition_kde_evidence_theory_2021 ; + :primary_source "https://www.matec-conferences.org/articles/matecconf/pdf/2021/05/matecconf_cscns20_06008.pdf" ; + :primary_source_retrieved "2023-03-23" ; + :type "PDF" . + + + :library library:kde_sc_4_gbb ; + :primary_source "https://dotancohen.com/images/kde/kde4-gbb.pdf" ; + :primary_source_retrieved "2023-03-23" ; + :type "PDF" . + + + :library library:creative_commons_newsletter_1 ; + :primary_source "https://mirrors.creativecommons.org/newsletter/ccnewsletter1.pdf" ; + :primary_source_retrieved "2023-03-23" ; + :type "PDF" . + + + :library library:creative_commons_newsletter_2 ; + :primary_source "https://mirrors.creativecommons.org/newsletter/ccnewsletter2.pdf" ; + :primary_source_retrieved "2023-03-23" ; + :type "PDF" . + + + :library library:creative_commons_newsletter_3 ; + :primary_source "https://mirrors.creativecommons.org/newsletter/ccnewsletter3.pdf" ; + :primary_source_retrieved "2023-03-23" ; + :type "PDF" . + + + :library library:creative_commons_newsletter_4 ; + :primary_source "https://mirrors.creativecommons.org/newsletter/ccnewsletter4.pdf" ; + :primary_source_retrieved "2023-03-23" ; + :type "PDF" . + + + :library library:creative_commons_newsletter_5 ; + :primary_source "https://mirrors.creativecommons.org/newsletter/ccnewsletter5.pdf" ; + :primary_source_retrieved "2023-03-23" ; + :type "PDF" . + + + :library library:creative_commons_newsletter_6 ; + :primary_source "https://mirrors.creativecommons.org/newsletter/ccnewsletter6.pdf" ; + :primary_source_retrieved "2023-03-23" ; + :type "PDF" . + + + :library library:creative_commons_newsletter_7 ; + :primary_source "https://mirrors.creativecommons.org/newsletter/ccnewsletter7.pdf" ; + :primary_source_retrieved "2023-03-23" ; + :type "PDF" . + + + :library library:creative_commons_newsletter_8 ; + :primary_source "https://mirrors.creativecommons.org/newsletter/ccnewsletter8.pdf" ; + :primary_source_retrieved "2023-03-23" ; + :type "PDF" . + + + :library library:creative_commons_newsletter_9 ; + :primary_source "https://mirrors.creativecommons.org/newsletter/ccnewsletter9.pdf" ; + :primary_source_retrieved "2023-03-23" ; + :type "PDF" . + + + :library library:creative_commons_newsletter_10 ; + :primary_source "https://mirrors.creativecommons.org/newsletter/ccnewsletter10.pdf" ; + :primary_source_retrieved "2023-03-23" ; + :type "PDF" . + + + :library library:creative_commons_newsletter_11 ; + :primary_source "https://mirrors.creativecommons.org/newsletter/ccnewsletter11.pdf" ; + :primary_source_retrieved "2023-03-23" ; + :type "PDF" . + + + :library library:creative_commons_newsletter_12 ; + :primary_source "https://mirrors.creativecommons.org/newsletter/ccnewsletter12.pdf" ; + :primary_source_retrieved "2023-03-23" ; + :type "PDF" . + + + :library library:creative_commons_newsletter_13 ; + :primary_source "https://mirrors.creativecommons.org/newsletter/ccnewsletter13.pdf" ; + :primary_source_retrieved "2023-03-23" ; + :type "PDF" . + + + :library library:creative_commons_newsletter_14 ; + :primary_source "https://mirrors.creativecommons.org/newsletter/ccnewsletter14.pdf" ; + :primary_source_retrieved "2023-03-23" ; + :type "PDF" . + + + :library library:creative_commons_newsletter_15 ; + :primary_source "https://mirrors.creativecommons.org/newsletter/ccnewsletter15.pdf" ; + :primary_source_retrieved "2023-03-23" ; + :type "PDF" . + + + :library library:creative_commons_newsletter_16 ; + :primary_source "https://mirrors.creativecommons.org/newsletter/ccnewsletter16.pdf" ; + :primary_source_retrieved "2023-03-23" ; + :type "PDF" . + + + :library library:creative_commons_newsletter_17 ; + :primary_source "https://mirrors.creativecommons.org/newsletter/ccnewsletter17.pdf" ; + :primary_source_retrieved "2023-03-23" ; + :type "PDF" . + + + :library library:glycan_naming_subsumption_ontology_2021 ; + :primary_source "https://ceur-ws.org/Vol-3073/paper11.pdf" ; + :primary_source_retrieved "2023-03-23" ; + :type "PDF" . + + + :library library:cultivating_creative_commons_Tsiavos_2007 ; + :primary_source "http://etheses.lse.ac.uk/264/1/Tsiavos_Cultivating%20creative%20commons.pdf" ; + :primary_source_retrieved "2023-03-23" ; + :type "PDF" . + + + :library library:olpc_software_roadmap_2008 ; + :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" ; + :primary_source_retrieved "2023-03-23" ; + :type "PDF" . + + + :library library:xubuntu_documentation_2017 ; + :primary_source "https://docs.xubuntu.org/1810/user/en_GB/xubuntu-documentation-USletter.pdf" ; + :primary_source_retrieved "2023-03-23" ; + :type "PDF" . + + + :library library:appstream_description_for_all_distros_Gnatenko ; + :primary_source "https://ignatenkobrain.fedorapeople.org/events/Fedora%2021%20Release%20Party%20(Moscow,%20Russia)/AppStream%20-%20Description%20for%20all%20distros.pdf" ; + :primary_source_retrieved "2023-03-23" ; + :type "PDF" . + + + :library library:wikimedia_commons_2017 ; + :primary_source "https://upload.wikimedia.org/wikipedia/commons/0/0c/Wikimedia_Commons_web_en.pdf" ; + :primary_source_retrieved "2023-03-23" ; + :type "PDF" . + + + :library library:integrating_librelffice_gnome_documents_GUADEC_2015 ; + :primary_source "https://mmohrhard.files.wordpress.com/2015/08/integrating-libreoffice-with-gnome-documents.pdf" ; + :primary_source_retrieved "2023-03-23" ; + :type "PDF" . + + + :library library:arch_linux_magazine_1_2009 ; + :primary_source "http://web.archive.org/web/20090824101804/https://archlinux.org/static/newsletters/ALM-2009-Aug.pdf" ; + :primary_source_retrieved "2023-03-23" ; + :type "PDF" . + + + :library library:stand_up_for_the_gnu_gpl_libreplanet_2015 ; + :primary_source "https://media.libreplanet.org/mgoblin_media/media_entries/98/karen-sandler-slides.pdf" ; + :primary_source_retrieved "2023-03-23" ; + :type "PDF" . + + + :library library:the_laughing_giant_secret_Schmeer_2011 ; + :primary_source "http://blogs.jccc.edu/schmeer/files/2013/09/TheLaughingGiantsSecret.pdf" ; + :primary_source_retrieved "2023-03-23" ; + :type "PDF" . + + + :library library:lazzer_bears_Schmeer_2012 ; + :primary_source "http://blogs.jccc.edu/schmeer/files/2013/09/LazzerBears.pdf" ; + :primary_source_retrieved "2023-03-23" ; + :type "PDF" . + + + :library library:the_wizard_in_the_woods_is_up_to_something_Schmeer_2013 ; + :primary_source "http://blogs.jccc.edu/schmeer/files/2013/09/Wizard_in_the_Woods.pdf" ; + :primary_source_retrieved "2023-03-23" ; + :type "PDF" . + + + :library library:dungeons_dragons_srd_v5.1 ; + :primary_source "https://www.dndbeyond.com/attachments/39j2li89/SRD5.1-CCBY4.0_License_live%20links.pdf" ; + :primary_source_retrieved "2023-03-23" ; + :type "PDF" . + + + :library library:quick_start_guide_for_the_librem_laptops ; + :primary_source "https://docs.puri.sm/_downloads/afa76bd8033d3a88d4063da4cf35542b/Librem-laptops-Quick-Start-Guide-1.0.0.pdf" ; + :primary_source_retrieved "2023-03-23" ; + :type "PDF" . + + + :library library:governance_of_massive_multiauthor_collaboration ; + :primary_source "http://www.rechtstheorie.uni-koeln.de/wp-content/uploads/JIPITEC-2-Wielsch-Governance.pdf" ; + :primary_source_retrieved "2023-03-23" ; + :type "PDF" . + + + :library library:the_gnome3_desktop_and_you_2011 ; + :primary_source "https://honk.sigxcpu.org/piki/agx/publications/2011-08-gnome3-froscon.pdf" ; + :primary_source_retrieved "2023-03-23" ; + :type "PDF" . + + + :library library:set_up_and_use_mobile_hotspots_Thoms_v1.0 ; + :primary_source "https://dl.min.uni-hamburg.de/en/guides/mobile-hotspot/page.pdf" ; + :primary_source_retrieved "2023-03-23" ; + :type "PDF" . + + + :library library:kinesynth_patching_modulating_mixing_MIT_2018 ; + :primary_source "https://resenv.media.mit.edu/pubs/papers/kinesynth-NIME18.pdf" ; + :primary_source_retrieved "2023-03-23" ; + :type "PDF" . + + + :library library:bureau_3D_sous_Linux_avec_gnome_et_xgl_2006 ; + :primary_source "https://download.tuxfamily.org/actux/presentations/20061019-gnome-3d.pdf" ; + :primary_source_retrieved "2023-03-23" ; + :type "PDF" . + + + :library library:functional_reactive_programming_without_space_leaks_haskell_2022 ; + :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" ; + :primary_source_retrieved "2023-03-23" ; + :type "PDF" . + + + :library library:following_the_grammar_with_haskell_Leavens_2013 ; + :primary_source "https://www.cs.ucf.edu/~leavens/COP4020/docs/follow-grammar-haskell.pdf" ; + :primary_source_retrieved "2023-03-23" ; + :type "PDF" . + + + :library library:persistent_software_transactional_memory_in_haskell_ACM_2021 ; + :primary_source "https://dl.acm.org/doi/pdf/10.1145/3473568" ; + :primary_source_retrieved "2023-03-23" ; + :type "PDF" . + + + :library library:overcoming_non_distributivity_TFPIE_2017 ; + :primary_source "https://www.cs.kent.ac.uk/people/staff/sjt/TFPIE2017/TFPIE_2017/Papers/TFPIE_2017_paper_7.pdf" ; + :primary_source_retrieved "2023-03-23" ; + :type "PDF" . + + + :library library:enhancing_learning_experience_TFPIE_2017 ; + :primary_source "https://www.cs.kent.ac.uk/people/staff/sjt/TFPIE2017/TFPIE_2017/Papers/TFPIE_2017_paper_3.pdf" ; + :primary_source_retrieved "2023-03-23" ; + :type "PDF" . + + + :library library:using_elm_to_introduce_algebraic_thinking_TFPIE_2017 ; + :primary_source "https://www.cs.kent.ac.uk/people/staff/sjt/TFPIE2017/TFPIE_2017/Papers/TFPIE_2017_paper_2.pdf" ; + :primary_source_retrieved "2023-03-23" ; + :type "PDF" . + + + :library library:functional_baby_talk_TFPIE_2017 ; + :primary_source "https://www.cs.kent.ac.uk/people/staff/sjt/TFPIE2017/TFPIE_2017/Papers/TFPIE_2017_paper_5.pdf" ; + :primary_source_retrieved "2023-03-23" ; + :type "PDF" . + + + :library library:teaching_erlang_through_the_internet_TFPIE_2017 ; + :primary_source "https://www.cs.kent.ac.uk/people/staff/sjt/TFPIE2017/TFPIE_2017/Papers/TFPIE_2017_paper_6.pdf" ; + :primary_source_retrieved "2023-03-23" ; + :type "PDF" . + + + :library library:law_and_technology_in_the_US_law_school_industry_2022 ; + :primary_source "https://www.degruyter.com/document/doi/10.1515/gj-2022-0010/pdf" ; + :primary_source_retrieved "2023-03-23" ; + :type "PDF" . + + + :library library:relativistic_programming_in_haskell_PDX_2016 ; + :primary_source "http://web.cecs.pdx.edu/~theod/papers/haskell2015.pdf" ; + :primary_source_retrieved "2023-03-23" ; + :type "PDF" . + + + :library library:dependently_typed_haskell_in_industry_ACM_2019 ; + :primary_source "https://www.davidchristiansen.dk/pubs/dependent-haskell-experience-report.pdf" ; + :primary_source_retrieved "2023-03-23" ; + :type "PDF" . + + + :library library:haskell_for_ocaml_programmers_2022-05-02 ; + :primary_source "https://dr-knz.net/haskell-for-ocaml-programmers.pdf" ; + :primary_source_retrieved "2023-03-23" ; + :type "PDF" . + + + :library library:basic_haskell_cheat_sheet_Matela_2021 ; + :primary_source "https://matela.com.br/haskell-cs.pdf" ; + :primary_source_retrieved "2023-03-23" ; + :type "PDF" . + + + :library library:application_patterns_in_functional_languages_Oosterhof_2005 ; + :primary_source "http://essay.utwente.nl/57656/1/scriptie_Oosterhof.pdf" ; + :primary_source_retrieved "2023-03-23" ; + :type "PDF" . + + + :library library:hlola_2021 ; + :primary_source "https://software.imdea.org/~cesar/papers/2021/gorostiaga21hlola/gorostiaga21hlola.pdf" ; + :primary_source_retrieved "2023-03-23" ; + :type "PDF" . + + + :library library:the_idris_tutorial_v1.3.3 ; + :primary_source "https://docs.idris-lang.org/_/downloads/en/latest/pdf/" ; + :primary_source_retrieved "2023-03-23" ; + :type "PDF" . + + + :library library:markedly_Meta_2017 ; + :primary_source "https://tupl.cs.tufts.edu/papers/meta17-final2.pdf" ; + :primary_source_retrieved "2023-03-23" ; + :type "PDF" . + + + :library library:verifying_replicated_data_types_with_typeclass_refinements_liquid_haskell_2020 ; + :primary_source "http://www.cs.umd.edu/~mwh/papers/lh-typeclasses.pdf" ; + :primary_source_retrieved "2023-03-23" ; + :type "PDF" . + + + :library library:data_types_as_quotients_of_polynomial_functors_ITP_2019 ; + :primary_source "http://www.contrib.andrew.cmu.edu/~avigad/Papers/qpf.pdf" ; + :primary_source_retrieved "2023-03-23" ; + :type "PDF" . + + + :library library:logic_for_exact_real_arithmetic_2021 ; + :primary_source "https://lmcs.episciences.org/7383/pdf" ; + :primary_source_retrieved "2023-03-23" ; + :type "PDF" . + + + :library library:principles_of_programming_languages_Pradella_2019 ; + :primary_source "https://pradella.faculty.polimi.it/PL/Haskell.pdf" ; + :primary_source_retrieved "2023-03-23" ; + :type "PDF" . diff --git a/data/library.ttl b/data/library.ttl index 8b26edc..4715149 100644 --- a/data/library.ttl +++ b/data/library.ttl @@ -806,3 +806,330 @@ prefix license: :license license:CC-BY-4.0 ; :author "Rachel Kowert", "Eve Crevoshay" ; :site "https://f1000research.com/articles/11-1518/v2" . + +:python_3_cheat_sheet_v2.0.6_en + :title "Python 3 Cheat Sheet" ; + :license license:CC-BY-4.0 ; + :author "Laurent Pointal" . + +:python_jump_start_Brown_2022 + :title "Python Jump Start" ; + :license license:CC-BY-SA-4.0 ; + :author "Bob Brown" . + +:python_web_development_brief_introduction_Wachtler_2021 + :title "Python for Web Development: A brief Introduction" ; + :license license:CC-BY-4.0, license:CC-BY-SA-4.0 ; + :author "Josef Wachtler" . + +:integrating_graph_builder_into_python_tutor_2021 + :title "Integrating a Graph Builder into Python Tutor" ; + :license license:CC-BY-4.0 ; + :author "Diogo Soares", "Maria João Varanda Pereira", "Pedro Rangel Henriques" . + +:20_years_kde + :title "20 Years of KDE: Past, Present and Future" ; + :license license:CC-BY-SA-3.0 ; + :author "Sandro Andrade", "Sanjiban Bairagya", "Pradeepto Bhattacharya", "Mirko Boehm", "Scarlett Clark", "Ben Cooksley", "Andreas Cord-Landwehr", "Matthias Ettrich", "David Faure", "Mario Fux", "Tim- oth ́ee Giet", "Frederik Gladhorn", "Martin Gr ̈aßlin", "Boudhayan Gupta", "Dani Guti ́errez Porset", "Vishesh Handa", "Riccardo Iaconelli", "Volker Krause", "Sebastian K ̈ugler", "Sinny Kumari", "Antonio Larrosa", "Richard J. Moore", "David Narv ́aez", "Baltasar Ortega", "K ́evin Ottens", "Thomas Pfeiffer", "Nuno Pinheiro", "Lydia Pintscher", "Aleix Pol i Gonz`alez", "Jens Reuterberg", "Cornelius Schumacher", "Bhushan Shah", "Yash Shah", "Aracele Torres", "Albert Vaca", "Sune Vuorela", "Franklin Weng", "Valorie Zimmerman" . + +:forensic_face_recognition_kde_evidence_theory_2021 + :title "Forensic face recognition based on KDE and evidence theory" ; + :license license:CC-BY-4.0 ; + :author "Wen Xiao" . + +:kde_sc_4_gbb + :title "KDE SC 4" ; + :license license:CC-BY-SA-3.0 ; + :author "" . + +:creative_commons_newsletter_1 + :title "Creative Commons Newsletter No.1" ; + :license license:CC-BY-3.0 ; + :author "" . + +:creative_commons_newsletter_2 + :title "Creative Commons Newsletter No.2" ; + :license license:CC-BY-3.0 ; + :author "" . + +:creative_commons_newsletter_3 + :title "Creative Commons Newsletter No.3" ; + :license license:CC-BY-3.0 ; + :author "" . + +:creative_commons_newsletter_4 + :title "Creative Commons Newsletter No.4" ; + :license license:CC-BY-3.0 ; + :author "" . + +:creative_commons_newsletter_5 + :title "Creative Commons Newsletter No.5" ; + :license license:CC-BY-3.0 ; + :author "" . + +:creative_commons_newsletter_6 + :title "Creative Commons Newsletter No.6" ; + :license license:CC-BY-3.0 ; + :author "" . + +:creative_commons_newsletter_7 + :title "Creative Commons Newsletter No.7" ; + :license license:CC-BY-3.0 ; + :author "" . + +:creative_commons_newsletter_8 + :title "Creative Commons Newsletter No.8" ; + :license license:CC-BY-3.0 ; + :author "" . + +:creative_commons_newsletter_9 + :title "Creative Commons Newsletter No.9" ; + :license license:CC-BY-3.0 ; + :author "" . + +:creative_commons_newsletter_10 + :title "Creative Commons Newsletter No.10" ; + :license license:CC-BY-3.0 ; + :author "" . + +:creative_commons_newsletter_11 + :title "Creative Commons Newsletter No.11" ; + :license license:CC-BY-3.0 ; + :author "" . + +:creative_commons_newsletter_12 + :title "Creative Commons Newsletter No.12" ; + :license license:CC-BY-3.0 ; + :author "" . + +:creative_commons_newsletter_13 + :title "Creative Commons Newsletter No.13" ; + :license license:CC-BY-3.0 ; + :author "" . + +:creative_commons_newsletter_14 + :title "Creative Commons Newsletter No.14" ; + :license license:CC-BY-3.0 ; + :author "" . + +:creative_commons_newsletter_15 + :title "Creative Commons Newsletter No.15" ; + :license license:CC-BY-3.0 ; + :author "" . + +:creative_commons_newsletter_16 + :title "Creative Commons Newsletter No.16" ; + :license license:CC-BY-3.0 ; + :author "" . + +:creative_commons_newsletter_17 + :title "Creative Commons Newsletter No.17" ; + :license license:CC-BY-3.0 ; + :author "" . + +:glycan_naming_subsumption_ontology_2021 + :title "GNOme – Glycan Naming and Subsumption Ontology" ; + :license license:CC-BY-4.0 ; + :author "Wenjin Zhang", "Nathan J. Edwards" . + +:cultivating_creative_commons_Tsiavos_2007 + :title "Cultivating Creative Commons: From Creative Regulation to Regulatory Commons" ; + :license license:CC-BY-2.0 ; + :author "Prodromos Tsiavos" . + +:olpc_software_roadmap_2008 + :title "OLPC Software Roadmap" ; + :license license:CC-BY-2.5 ; + :author "" . + +:xubuntu_documentation_2017 + :title "Xubuntu Documentation" ; + :license license:CC-BY-SA-2.5 ; + :author "" . + +:appstream_description_for_all_distros_Gnatenko + :title "AppStream - Description for all distros" ; + :license license:CC-BY-SA-4.0 ; + :author "Igor Gnatenko" . + +:wikimedia_commons_2017 + :title "Wikimedia Commons" ; + :license license:CC-BY-4.0 ; + :author "Wikimedia Deutschland" . + +:integrating_librelffice_gnome_documents_GUADEC_2015 + :title "Integrating LibreOffice with Gnome Documents" ; + :license license:CC-BY-SA-3.0 ; + :author "Markus Mohrhard", "Pranav Kant" . + +:arch_linux_magazine_1_2009 + :title "Arch Linux Magazine Issue #1" ; + :license license:CC-BY-SA-3.0 ; + :author "" . + +:stand_up_for_the_gnu_gpl_libreplanet_2015 + :title "Stand Up for the GNU GPL!" ; + :license license:CC-BY-SA-4.0 ; + :author "Karen M. Sandler" . + +:the_laughing_giant_secret_Schmeer_2011 + :title "The Laughing Giant’s Secret" ; + :license license:CC-BY-SA-3.0 ; + :author "Matthew W. Schmeer" . + +:lazzer_bears_Schmeer_2012 + :title "Lazzer Bears!?! For teh win: an unsuitable adventure for characters of any level" ; + :license license:CC-BY-SA-3.0 ; + :author "Matthew W. Schmeer" . + +:the_wizard_in_the_woods_is_up_to_something_Schmeer_2013 + :title "The Wizard in the Woods is Up to Something (Maybe)" ; + :license license:CC-BY-SA-3.0 ; + :author "Matthew W. Schmeer" . + +:dungeons_dragons_srd_v5.1 + :title "Dungeons & Dragons Systems Reference Document v5.1" ; + :license license:CC-BY-4.0 ; + :author "Wizards of the Coast LLC" ; + :site "https://dnd.wizards.com/resources/systems-reference-document" . + +:quick_start_guide_for_the_librem_laptops + :title "Quick Start Guide for the Librem laptops" ; + :license license:CC-BY-SA-4.0 ; + :author "Purism SPC." . + +:governance_of_massive_multiauthor_collaboration + :title "Governance of Massive Multiauthor Collaboration" ; + :license license:CC-BY-SA-3.0 ; + :author "Dan Wielsch" . + +:the_gnome3_desktop_and_you_2011 + :title "The GNOME3 Desktop and You" ; + :license license:CC-BY-SA-3.0 ; + :author "Guido Günther" . + +:set_up_and_use_mobile_hotspots_Thoms_v1.0 + :title "Set up and use mobile hotspots" ; + :license license:CC-BY-SA-4.0 ; + :author "Lars Thoms" . + +:kinesynth_patching_modulating_mixing_MIT_2018 + :title "Kinesynth: Patching, Modulating, and Mixing a Hybrid Kinesthetic Synthesizer" ; + :license license:CC-BY-4.0 ; + :author "Don Derek Haddad", "Joseph A. Paradiso" . + +:bureau_3D_sous_Linux_avec_gnome_et_xgl_2006 + :title "Bureau 3D sous Linux avec Gnome et Xgl" ; + :license license:CC-BY-SA ; + :author "Erwan Leherisse", "Christophe Hauser" . + +:functional_reactive_programming_without_space_leaks_haskell_2022 + :title "Modal FRP for all: Functional reactive programming without space leaks in Haskell" ; + :license license:CC-BY-4.0 ; + :author "Patrick Bahr" . + +:following_the_grammar_with_haskell_Leavens_2013 + :title "Following the Grammar with Haskell" ; + :license license:CC-BY-2.0 ; + :author "Gary T. Leavens" . + +:persistent_software_transactional_memory_in_haskell_ACM_2021 + :title "Persistent Software Transactional Memory in Haskell" ; + :license license:CC-BY-4.0 ; + :author "Nicolas Krauter", "Patrick Raaf", "Peter Braam", "Reza Salkhordeh", "Sebastian Erdweg", "André Brinkmann" . + +:overcoming_non_distributivity_TFPIE_2017 + :title "Overcoming Non Distributivity: A Case Study in Functional Programming" ; + :license license:CC-BY-3.0 ; + :author "Juan Carlos Saenz-Carrasco", "Mike Stannett" ; + :site "https://www.cs.kent.ac.uk/people/staff/sjt/TFPIE2017/TFPIE_2017/" . + +:enhancing_learning_experience_TFPIE_2017 + :title "Enhancing the Learning Experience on Programming-focused Courses via Electronic Assessment Tools (Extended Abstract)" ; + :license license:CC-BY-3.0 ; + :author "Hans-Wolfgang Loidl", "Phil Barker", "Sanusi S. Usman" ; + :site "https://www.cs.kent.ac.uk/people/staff/sjt/TFPIE2017/TFPIE_2017/" . + +:using_elm_to_introduce_algebraic_thinking_TFPIE_2017 + :title "Using Elm to Introduce Algebraic Thinking to K-8 Students" ; + :license license:CC-BY-3.0 ; + :author "Curtis d’Alves", "Tanya Bouman", "Christopher Schankula", "Jenell Hogg", "Levin Noronha", "Emily Horsman", "Rumsha Siddiqui", "Christopher Kumar Anand" ; + :site "https://www.cs.kent.ac.uk/people/staff/sjt/TFPIE2017/TFPIE_2017/" . + +:functional_baby_talk_TFPIE_2017 + :title "Functional Baby Talk: Analysis of Code Fragments from Novice Haskell Programmers" ; + :license license:CC-BY-3.0 ; + :author "Jeremy Singer", "Blair Archibald" ; + :site "https://www.cs.kent.ac.uk/people/staff/sjt/TFPIE2017/TFPIE_2017/" . + +:teaching_erlang_through_the_internet_TFPIE_2017 + :title "Teaching Erlang through the Internet: An experience report" ; + :license license:CC-BY-3.0 ; + :author "Stephen Adams" ; + :site "https://www.cs.kent.ac.uk/people/staff/sjt/TFPIE2017/TFPIE_2017/" . + +:law_and_technology_in_the_US_law_school_industry_2022 + :title "Law and Technology in the US Law School Industry" ; + :license license:CC-BY-4.0 ; + :author "Jessica L. H. Fish", "John D. Haskell" . + +:relativistic_programming_in_haskell_PDX_2016 + :title "Relativistic Programming in Haskell" ; + :license license:CC-BY-4.0 ; + :author "Ted Cooper", "Jonathan Walpole" . + +:dependently_typed_haskell_in_industry_ACM_2019 + :title "Dependently Typed Haskell in Industry (Experience Report)" ; + :license license:CC-BY-4.0 ; + :author "David Thrane Christiansen", "Iavor S. Diatchki", "Robert Dockins", "Joe Hendrix", "Tristan Ravitch" . + +:haskell_for_ocaml_programmers_2022-05-02 + :title "Haskell for OCaml programmers" ; + :license license:CC-BY-SA-4.0 ; + :author "Raphael ‘kena’ Poss" ; + :site "https://dr-knz.net/haskell-for-ocaml-programmers.html" . + +:basic_haskell_cheat_sheet_Matela_2021 + :title "Basic Haskell Cheat Sheet" ; + :license license:CC-BY-SA-3.0 , license:GFDL-1.3-or-later ; + :author "Rudy Matela" . + +:application_patterns_in_functional_languages_Oosterhof_2005 + :title "Application Patterns in Functional Languages" ; + :license license:CC-BY-SA-2.0 ; + :author "Nikolaas N. Oosterhof" . + +:hlola_2021 + :title "HLola: a Very Functional Tool for Extensible Stream Runtime Verification" ; + :license license:CC-BY-4.0 ; + :author "Felipe Gorostiaga", "César Sánchez" . + +:the_idris_tutorial_v1.3.3 + :title "The Idris Tutorial v1.3.3" ; + :license license:CC0-1.0 ; + :author "" . + +:markedly_Meta_2017 + :title "Markedly - A cartographic approach for mapping eDSL implementation costs" ; + :license license:CC-BY-4.0 ; + :author "Matthew P. Ahrens", "Karl Cronburg", "Jeanne-Marie Musca" . + +:verifying_replicated_data_types_with_typeclass_refinements_liquid_haskell_2020 + :title "Verifying Replicated Data Types with Typeclass Refinements in Liquid Haskell" ; + :license license:CC-BY-4.0 ; + :author "Yiyun Liu", "James Parker", "Patrick Redmond", "Lindsey Kuper", "Michael Hicks", "Niki Vazou" . + +:data_types_as_quotients_of_polynomial_functors_ITP_2019 + :title "Data types as quotients of polynomial functors" ; + :license license:CC-BY-3.0 ; + :author "Jeremy Avigad", "Mario Carneiro", "Simon Hudon" . + +:logic_for_exact_real_arithmetic_2021 + :title "Logic for exact real arithmetic" ; + :license license:CC-BY-4.0 ; + :author "Helmut Schwichtenberg", "Franziskus Wiesnet" . + +:principles_of_programming_languages_Pradella_2019 + :title "Principles of Programming Languages (H)" ; + :license license:CC-BY-SA-3.0 ; + :author "Matteo Pradella" .