Foundational works the system relies on
Foundational publications that Eigenius depends on conceptually --- type theory, codata, Datalog, knowledge representation, LLMs, WebAssembly, SMT, RPC --- but does not yet cite from any design doc, paper, or guide. Listed here so future bibliography passes have a single place to draw from.
Generated from docs/references/eigenius_additional.bib by scripts/bib-to-md.py. Do not edit by hand.
Total entries: 32.
abel-pientka2013
Abel, Andreas and Pientka, Brigitte (2013). “Wellfounded recursion with copatterns: A unified approach to termination and productivity”. In ICFP 2013: 18th ACM SIGPLAN International Conference on Functional Programming, pp. 185–196, ACM.
abel2010miniagda
Abel, Andreas (2010). “MiniAgda: Integrating sized and dependent types”. In Workshop on Partiality and Recursion in Interactive Theorem Provers (PAR 2010), EPTCS 43, pp. 14–28.
apt-blair-walker1988
Apt, Krzysztof R., Blair, Howard A., and Walker, Adrian (1988). “Towards a theory of declarative knowledge”. In Foundations of Deductive Databases and Logic Programming, ed. Minker, Jack, pp. 89–148, Morgan Kaufmann.
arp-smith-spear2015
Arp, Robert, Smith, Barry, and Spear, Andrew D. (2015). Building Ontologies with Basic Formal Ontology. MIT Press.
baader2003dlh
Baader, Franz, Calvanese, Diego, McGuinness, Deborah L., Nardi, Daniele, and Patel-Schneider, Peter F. (ed.) (2007). The Description Logic Handbook: Theory, Implementation, and Applications. Cambridge University Press.
First edition 2003
bancilhon1986
Bancilhon, François (1986). “Naive evaluation of recursively defined relations”. In On Knowledge Base Management Systems: Integrating Artificial Intelligence and Database Technologies, ed. Brodie, Michael L. and Mylopoulos, John, pp. 165–178, Springer.
ceri-gottlob-tanca1989
Ceri, Stefano, Gottlob, Georg, and Tanca, Letizia (1989). “What you always wanted to know about Datalog (and never dared to ask)”. IEEE Transactions on Knowledge and Data Engineering, 1(1), pp. 146–166.
connect-rpc
Buf Technologies. Connect: Simple, reliable, interoperable RPC.
Software
coquand-paulin1990
Coquand, Thierry and Paulin-Mohring, Christine (1990). “Inductively defined types”. In COLOG-88: International Conference on Computer Logic, Lecture Notes in Computer Science 417, pp. 50–66, Springer.
cypher2018
Francis, Nadime, Green, Alastair, Guagliardo, Paolo, Libkin, Leonid, Lindaaker, Tobias, Marsault, Victor, Plantikow, Stefan, Rydberg, Mats, Selmer, Petra, and Taylor, Andrés (2018). “Cypher: An evolving query language for property graphs”. In SIGMOD 2018: International Conference on Management of Data, pp. 1433–1445, ACM.
demoura2008z3
de Moura, Leonardo and Bjørner, Nikolaj (2008). “Z3: An efficient SMT solver”. In TACAS 2008: Tools and Algorithms for the Construction and Analysis of Systems, Lecture Notes in Computer Science 4963, pp. 337–340, Springer.
ditommaso2017nextflow
Di Tommaso, Paolo, Chatzou, Maria, Floden, Evan W., Barja, Pablo Prieto, Palumbo, Emilio, and Notredame, Cedric (2017). “Nextflow enables reproducible computational workflows”. Nature Biotechnology, 35(4), pp. 316–319.
dybjer1994
Dybjer, Peter (1994). “Inductive families”. Formal Aspects of Computing, 6(4), pp. 440–465.
gql2024
ISO/IEC (2024). ISO/IEC 39075:2024 Information technology — Database languages — GQL.
graphql
GraphQL Foundation (2018–2026). GraphQL: A query language for APIs.
grpc
Google. gRPC: A high-performance, open-source universal RPC framework.
Cloud Native Computing Foundation graduated project
gruber1995
Gruber, Thomas R. (1995). “Toward principles for the design of ontologies used for knowledge sharing”. International Journal of Human-Computer Studies, 43(5—6), pp. 907–928.
haas2017wasm
Haas, Andreas, Rossberg, Andreas, Schuff, Derek L., Titzer, Ben L., Holman, Michael, Gohman, Dan, Wagner, Luke, Zakai, Alon, and Bastien, JF (2017). “Bringing the Web up to speed with WebAssembly”. In PLDI 2017: 38th ACM SIGPLAN Conference on Programming Language Design and Implementation, pp. 185–200, ACM.
hagino1987
Hagino, Tatsuya (1987). A Categorical Programming Language. PhD thesis, University of Edinburgh.
jacobs2017
Jacobs, Bart (2017). Introduction to Coalgebra: Towards Mathematics of States and Observation. Cambridge Tracts in Theoretical Computer Science, Cambridge University Press.
ji2023hallucination
Ji, Ziwei, Lee, Nayeon, Frieske, Rita, Yu, Tiezheng, Su, Dan, Xu, Yan, Ishii, Etsuko, Bang, Ye Jin, Madotto, Andrea, and Fung, Pascale (2023). “Survey of hallucination in natural language generation”. ACM Computing Surveys, 55(12), pp. 1–38.
jsonld
Sporny, Manu, Longley, Dave, Kellogg, Gregg, Lanthaler, Markus, Champin, Pierre-Antoine, and Lindström, Niklas (2020). “JSON-LD 1.1: A JSON-based Serialization for Linked Data”. W3C, W3C Recommendation.
koester2012snakemake
Köster, Johannes and Rahmann, Sven (2012). “Snakemake — a scalable bioinformatics workflow engine”. Bioinformatics, 28(19), pp. 2520–2522.
lewis2020rag
Lewis, Patrick, Perez, Ethan, Piktus, Aleksandra, Petroni, Fabio, Karpukhin, Vladimir, Goyal, Naman, Küttler, Heinrich, Lewis, Mike, Yih, Wen-tau, Rocktäschel, Tim, Riedel, Sebastian, and Kiela, Douwe (2020). “Retrieval-augmented generation for knowledge-intensive NLP tasks”. In NeurIPS 2020: 34th Conference on Neural Information Processing Systems.
maclane1998
Mac Lane, Saunders (1998). Categories for the Working Mathematician. Graduate Texts in Mathematics, vol. 5, Springer.
martinlof1984
Martin-Löf, Per (1984). Intuitionistic Type Theory. Bibliopolis, Naples.
Notes by Giovanni Sambin of a series of lectures given in Padua, June 1980
moreau2010
Moreau, Luc (2010). “The foundations for provenance on the Web”. Foundations and Trends in Web Science, 2(2—3), pp. 99–241.
schemaorg
Schema.org (2011–2026). Schema.org vocabulary.
smtlib
Barrett, Clark, Fontaine, Pascal, and Tinelli, Cesare (2017). The SMT-LIB Standard: Version 2.6.
sparql
Harris, Steve and Seaborne, Andy (2013). “SPARQL 1.1 Query Language”. W3C, W3C Recommendation.
vaswani2017
Vaswani, Ashish, Shazeer, Noam, Parmar, Niki, Uszkoreit, Jakob, Jones, Llion, Gomez, Aidan N., Kaiser, Łukasz, and Polosukhin, Illia (2017). “Attention is all you need”. In NeurIPS 2017: 31st Conference on Neural Information Processing Systems, pp. 5998–6008.
wasm-spec
Rossberg, Andreas (2019). “WebAssembly Core Specification”. W3C, W3C Recommendation.