- DocumentoKenneth Foner - Getting a Quick Fix on Comonadsenviado porAndrás Kovács
- DocumentoRobert W. Floyd - Assigning Meaning to Programsenviado porAndrás Kovács
- DocumentoBart Jacobs, Jan Rutten - A tutorial on (Co)Algebras and (Co)Inductionenviado porAndrás Kovács
- DocumentoAdam Gundry, Conor McBride - A tutorial implementation of dynamic pattern unificationenviado porAndrás Kovács
- DocumentoFrancesco Mazzoli - Bertusenviado porAndrás Kovács
- DocumentoAlex Alaniz - Math & Physics Notesenviado porAndrás Kovács
- DocumentoHow to Keep your Neighbours in Orderenviado porAndrás Kovács
- DocumentoThe Gentle Art of Levitationenviado porAndrás Kovács
- DocumentoElte Szmsz II Ikenviado porAndrás Kovács
- DocumentoWhat Every Programmer Should Know About Memoryenviado porAndrás Kovács
- DocumentoPéter Esterházy - Termelési-regényenviado porAndrás Kovács
- DocumentoComplete and Easy Bidirectional Typechecking for Higher-Rank Polymorphismenviado porAndrás Kovács
- DocumentoDavid Ellerman - Theory of adjoint Functorsenviado porAndrás Kovács
- DocumentoScott Siskind - Fires of Thessalonikienviado porAndrás Kovács