- DocumentKenneth Foner - Getting a Quick Fix on Comonadsîncărcat deAndrás Kovács
- DocumentRobert W. Floyd - Assigning Meaning to Programsîncărcat deAndrás Kovács
- DocumentBart Jacobs, Jan Rutten - A tutorial on (Co)Algebras and (Co)Inductionîncărcat deAndrás Kovács
- DocumentAdam Gundry, Conor McBride - A tutorial implementation of dynamic pattern unificationîncărcat deAndrás Kovács
- DocumentFrancesco Mazzoli - Bertusîncărcat deAndrás Kovács
- DocumentAlex Alaniz - Math & Physics Notesîncărcat deAndrás Kovács
- DocumentHow to Keep your Neighbours in Orderîncărcat deAndrás Kovács
- DocumentThe Gentle Art of Levitationîncărcat deAndrás Kovács
- DocumentElte Szmsz II Ikîncărcat deAndrás Kovács
- DocumentWhat Every Programmer Should Know About Memoryîncărcat deAndrás Kovács
- DocumentPéter Esterházy - Termelési-regényîncărcat deAndrás Kovács
- DocumentComplete and Easy Bidirectional Typechecking for Higher-Rank Polymorphismîncărcat deAndrás Kovács
- DocumentDavid Ellerman - Theory of adjoint Functorsîncărcat deAndrás Kovács
- DocumentScott Siskind - Fires of Thessalonikiîncărcat deAndrás Kovács