Certified CYK parsing of context-free languagesFirsov, Denis; Uustalu, TarmoJournal of logical and algebraic methods in programming2014 / p. 459-468

When is a container a comonad?Ahman, Danel; Chapman, James; Uustalu, TarmoLogical methods in computer science2014 / p. 1-48 : ill