- DocumentKenneth Foner - Getting a Quick Fix on Comonadstéléversé parAndrás Kovács
- DocumentRobert W. Floyd - Assigning Meaning to Programstéléversé parAndrás Kovács
- DocumentBart Jacobs, Jan Rutten - A tutorial on (Co)Algebras and (Co)Inductiontéléversé parAndrás Kovács
- DocumentAdam Gundry, Conor McBride - A tutorial implementation of dynamic pattern unificationtéléversé parAndrás Kovács
- DocumentFrancesco Mazzoli - Bertustéléversé parAndrás Kovács
- DocumentAlex Alaniz - Math & Physics Notestéléversé parAndrás Kovács
- DocumentHow to Keep your Neighbours in Ordertéléversé parAndrás Kovács
- DocumentThe Gentle Art of Levitationtéléversé parAndrás Kovács
- DocumentElte Szmsz II Iktéléversé parAndrás Kovács
- DocumentWhat Every Programmer Should Know About Memorytéléversé parAndrás Kovács
- DocumentPéter Esterházy - Termelési-regénytéléversé parAndrás Kovács
- DocumentComplete and Easy Bidirectional Typechecking for Higher-Rank Polymorphismtéléversé parAndrás Kovács
- DocumentDavid Ellerman - Theory of adjoint Functorstéléversé parAndrás Kovács
- DocumentScott Siskind - Fires of Thessalonikitéléversé parAndrás Kovács