- DocumentKenneth Foner - Getting a Quick Fix on Comonadsuploaded byAndrás Kovács
- DocumentRobert W. Floyd - Assigning Meaning to Programsuploaded byAndrás Kovács
- DocumentBart Jacobs, Jan Rutten - A tutorial on (Co)Algebras and (Co)Inductionuploaded byAndrás Kovács
- DocumentAdam Gundry, Conor McBride - A tutorial implementation of dynamic pattern unificationuploaded byAndrás Kovács
- DocumentFrancesco Mazzoli - Bertusuploaded byAndrás Kovács
- DocumentAlex Alaniz - Math & Physics Notesuploaded byAndrás Kovács
- DocumentHow to Keep your Neighbours in Orderuploaded byAndrás Kovács
- DocumentThe Gentle Art of Levitationuploaded byAndrás Kovács
- DocumentElte Szmsz II Ikuploaded byAndrás Kovács
- DocumentWhat Every Programmer Should Know About Memoryuploaded byAndrás Kovács
- DocumentPéter Esterházy - Termelési-regényuploaded byAndrás Kovács
- DocumentComplete and Easy Bidirectional Typechecking for Higher-Rank Polymorphismuploaded byAndrás Kovács
- DocumentDavid Ellerman - Theory of adjoint Functorsuploaded byAndrás Kovács
- DocumentScott Siskind - Fires of Thessalonikiuploaded byAndrás Kovács