A note on strong dinaturality, initial algebras and uniform parameterized fixpoint operators Tarmo Uustalu Institute of Cybernetics at Tallinn University of Technology, Akadeemia tee 21, EETallinn, Estonia tarmo@c

Source URL: cs.ioc.ee

Structured general corecursion and coinductive graphs [extended abstract] Tarmo Uustalu Institute of Cybernetics at Tallinn University of Technology, Estonia

Source URL: cs.ioc.ee

Certified Normalization of Context-Free Grammars Denis Firsov Tarmo Uustalu Institute of Cybernetics at TUT

Source URL: cs.ioc.ee

CMCSComonadic Notions of Computation Tarmo Uustalu1 Institute of Cybernetics at Tallinn University of Technology, Akadeemia tee 21, EETallinn, Estonia

Source URL: cs.ioc.ee

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

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

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

A Hoare Logic for the Coinductive Trace-Based Big-Step Semantics of While Keiko Nakata and Tarmo Uustalu Institute of Cybernetics at Tallinn University of Technology, Akadeemia tee 21, EETallinn, Estonia, {keiko|t

Source URL: www.cs.ioc.ee

Trace-Based Coinductive Operational Semantics for While Big-step and Small-step, Relational and Functional Styles Keiko Nakata and Tarmo Uustalu Institute of Cybernetics at Tallinn University of Technology, Akadeemia tee

Source URL: www.cs.ioc.ee

I kursuse tunniplaan kevad 2015, õppetöö algabEsmaspäevKUR6103 Kujundi lugu II 4,0 EAP -Sirje Runge - I grupp- N BFF6077 Filmitootmise tehnoloogiad 3,0- Tarmo Rajaleid,

Source URL: www.tlu.ee