- DocumentoKenneth Foner - Getting a Quick Fix on Comonadscaricato daAndrás Kovács
- DocumentoRobert W. Floyd - Assigning Meaning to Programscaricato daAndrás Kovács
- DocumentoBart Jacobs, Jan Rutten - A tutorial on (Co)Algebras and (Co)Inductioncaricato daAndrás Kovács
- DocumentoAdam Gundry, Conor McBride - A tutorial implementation of dynamic pattern unificationcaricato daAndrás Kovács
- DocumentoFrancesco Mazzoli - Bertuscaricato daAndrás Kovács
- DocumentoAlex Alaniz - Math & Physics Notescaricato daAndrás Kovács
- DocumentoHow to Keep your Neighbours in Ordercaricato daAndrás Kovács
- DocumentoThe Gentle Art of Levitationcaricato daAndrás Kovács
- DocumentoElte Szmsz II Ikcaricato daAndrás Kovács
- DocumentoWhat Every Programmer Should Know About Memorycaricato daAndrás Kovács
- DocumentoPéter Esterházy - Termelési-regénycaricato daAndrás Kovács
- DocumentoComplete and Easy Bidirectional Typechecking for Higher-Rank Polymorphismcaricato daAndrás Kovács
- DocumentoDavid Ellerman - Theory of adjoint Functorscaricato daAndrás Kovács
- DocumentoScott Siskind - Fires of Thessalonikicaricato daAndrás Kovács