Compositional Type Systems for Stack-Based Low-Level Languages Ando Saabas Tarmo Uustalu Institute of Cybernetics at Tallinn University of Technology

Source URL: cs.ioc.ee

Notes on Restriction Categories∗ Silvio Capobianco Institute of Cybernetics at Tallinn University of Technology, Estonia Revision: January 25, 2016

Source URL: www.ioc.ee

T HE FOLLOWING APPENDICES ARE NOT PART OF THE D ESCRIPTION OF W ORK . T HEY PROVIDE VARIOUS ADDI TIONAL INFORMATION THAT WAS REQUESTED BY HTM/A RCHIMEDES OR THAT THE CONSORTIUM FOUND IMPOR TANT TO INCLUDE . A A.1 Activ

Source URL: www.cs.ioc.ee

• Geography of Europe
• Europe
• Populated places in Estonia
• Estonia
• Republics
• Jaan
• Oja
• Vene
• Tarmo
• Tallinn

Program Repair as Sound Optimization of Broken Programs Bernd Fischer School of Electronics and Computer Science University of Southampton Southampton, SO17 1BJ, United Kingdom Email:

Source URL: cs.ioc.ee

LNCSMonads Need Not Be Endofunctors

Source URL: cs.ioc.ee

Comonads Comonads Directed containers

Source URL: www.ioc.ee

Olympic Games Study Commission Report to the 115th IOC Session Prague, July 2003 BY Richard W. Pound, Q.C. Chairman

Source URL: www.olympic.org

IOC/WESTPAC Ocean Remote Sensing Program – Toward a satellite-based system of the Asian coastal marine environments Hiroshi KAWAMURA

Source URL: www.cearac-project.org

Mixed induction-coinduction at work for Coq Keiko Nakata, Tarmo Uustalu Institute of Cybernetics at Tallinn University of Technology We present tricks to implement mixed induction-coinduction in Coq using Mendler-style c

Source URL: www.cs.ioc.ee

Recursion for structured modules Keiko Nakata Research Institute for Mathematical Sciences, Kyoto University Abstract

Source URL: www.cs.ioc.ee