- DocumentoKenneth Foner - Getting a Quick Fix on Comonadscargado porAndrás Kovács
- DocumentoRobert W. Floyd - Assigning Meaning to Programscargado porAndrás Kovács
- DocumentoBart Jacobs, Jan Rutten - A tutorial on (Co)Algebras and (Co)Inductioncargado porAndrás Kovács
- DocumentoAdam Gundry, Conor McBride - A tutorial implementation of dynamic pattern unificationcargado porAndrás Kovács
- DocumentoFrancesco Mazzoli - Bertuscargado porAndrás Kovács
- DocumentoAlex Alaniz - Math & Physics Notescargado porAndrás Kovács
- DocumentoHow to Keep your Neighbours in Ordercargado porAndrás Kovács
- DocumentoThe Gentle Art of Levitationcargado porAndrás Kovács
- DocumentoElte Szmsz II Ikcargado porAndrás Kovács
- DocumentoWhat Every Programmer Should Know About Memorycargado porAndrás Kovács
- DocumentoPéter Esterházy - Termelési-regénycargado porAndrás Kovács
- DocumentoComplete and Easy Bidirectional Typechecking for Higher-Rank Polymorphismcargado porAndrás Kovács
- DocumentoDavid Ellerman - Theory of adjoint Functorscargado porAndrás Kovács
- DocumentoScott Siskind - Fires of Thessalonikicargado porAndrás Kovács