LNCSWhen Is a Container a Comonad?

Source URL: cs.ioc.ee

Centre of Excellence in Computer Science (EXCS) Description of Work∗ 1 Motivation

Source URL: www.cs.ioc.ee

• Standards organizations
• Computing
• International Federation for Information Processing

Progress in Informatics, No. 10, pp.3–18, (2013)

Source URL: cs.ioc.ee

LNCSExplicit Binds: Effortless Efficiency with and without Trees

Source URL: cs.ioc.ee

Strong Relative Monads (Extended Abstract) Tarmo Uustalu Institute of Cybernetics at Tallinn University of Technology Akadeemia tee 21, EETallinn, Estonia In a paper presented here in Paphos at FoS

Source URL: cs.ioc.ee

Distributive Laws of Directed Containers [Extended Abstract] Danel Ahman1 and Tarmo Uustalu2 1 Computer Laboratory, University of Cambridge, 15 J. J. Thomson Avenue, Cambridge CB3 0FD, United Kingdom,

Source URL: cs.ioc.ee

Foundational certification of data-flow analyses Maria Jo˜ao Frade Departamento de Inform´atica Universidade do Minho Campus de Gualtar, PBraga, Portugal Email:

Source URL: cs.ioc.ee

D Complete List of Publications by Members of EXCS 2003–Date Listed below are the pre-refereed journal and conference articles, monographs, dissertations and edited volumes by the members of the consortium (the four t

Source URL: www.cs.ioc.ee

• Software engineering
• Programming language theory
• ALGOL 68
• Computing

Update Monads: Cointerpreting Directed Containers∗ Danel Ahman1 and Tarmo Uustalu2 1 Laboratory for Foundations of Computer Science, University of Edinburgh

Source URL: cs.ioc.ee

Logical Methods in Computer Science Vol. 11(1:1)2015, pp. 1–32 www.lmcs-online.org Submitted Published

Source URL: cs.ioc.ee