- ДокументKenneth Foner - Getting a Quick Fix on Comonadsзагружено:András Kovács
- ДокументRobert W. Floyd - Assigning Meaning to Programsзагружено:András Kovács
- ДокументBart Jacobs, Jan Rutten - A tutorial on (Co)Algebras and (Co)Inductionзагружено:András Kovács
- ДокументAdam Gundry, Conor McBride - A tutorial implementation of dynamic pattern unificationзагружено:András Kovács
- ДокументFrancesco Mazzoli - Bertusзагружено:András Kovács
- ДокументAlex Alaniz - Math & Physics Notesзагружено:András Kovács
- ДокументHow to Keep your Neighbours in Orderзагружено:András Kovács
- ДокументThe Gentle Art of Levitationзагружено:András Kovács
- ДокументElte Szmsz II Ikзагружено:András Kovács
- ДокументWhat Every Programmer Should Know About Memoryзагружено:András Kovács
- ДокументPéter Esterházy - Termelési-regényзагружено:András Kovács
- ДокументComplete and Easy Bidirectional Typechecking for Higher-Rank Polymorphismзагружено:András Kovács
- ДокументDavid Ellerman - Theory of adjoint Functorsзагружено:András Kovács
- ДокументScott Siskind - Fires of Thessalonikiзагружено:András Kovács