Tarmo

Results: 95



#Item
11

Directed Containers as Categories Danel Ahman LFCS, School of Informatics, University of Edinburgh, United Kingdom Tarmo Uustalu

Add to Reading List

Source URL: cs.ioc.ee

Language: English - Date: 2016-04-01 16:32:48
    12

    Walking through infinite trees with mixed induction and coinduction Keiko Nakata Institute of Cybernetics, Tallinn (Joint work with Tarmo Uustalu and many thanks to T. Altenkirch and H. Herbelin )

    Add to Reading List

    Source URL: www.cs.ioc.ee

    Language: English - Date: 2010-10-18 14:54:57
      13

      Proof Search and Counter-Model Construction for Bi-intuitionistic Propositional Logic with Labelled Sequents Lu´ıs Pinto1 and Tarmo Uustalu2 1

      Add to Reading List

      Source URL: cs.ioc.ee

      Language: English - Date: 2009-10-22 01:53:34
        14

        Chapter 10 Comonadic functional attribute evaluation Tarmo Uustalu1 and Varmo Vene2 Abstract: We have previously demonstrated that dataflow computation is comonadic. Here we argue that attribute evaluation has a lot in

        Add to Reading List

        Source URL: www.cs.ioc.ee

        Language: English - Date: 2006-10-28 07:39:11
          15

          Recursive Coalgebras from Comonads ? Venanzio Capretta 1 Dept. of Mathematics and Statistics, University of Ottawa 585 King Edward Ave., Ottawa, ON, K1N 6N5, Canada Tarmo Uustalu 2

          Add to Reading List

          Source URL: cs.ioc.ee

          Language: English - Date: 2005-08-21 18:41:43
            16

            Dependently Typed Programming with Finite Sets Denis Firsov Tarmo Uustalu Institute of Cybernetics at Tallinn University of Technology

            Add to Reading List

            Source URL: cs.ioc.ee

            Language: English - Date: 2015-08-30 21:29:22
              17

              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

              Add to Reading List

              Source URL: cs.ioc.ee

              Language: English - Date: 2009-09-03 04:00:55
                18

                Corecursive Algebras: A Study of General Structured Corecursion Venanzio Capretta1 , Tarmo Uustalu2 , and Varmo Vene3 1 School of Computer Science, University of Nottingham, United Kingdom

                Add to Reading List

                Source URL: cs.ioc.ee

                Language: English - Date: 2009-11-06 16:56:55
                  19

                  A Compositional Natural Semantics and Hoare Logic for Low-Level Languages 1 Ando Saabas 2 and Tarmo Uustalu ∗,2 Institute of Cybernetics at Tallinn University of Technology Akadeemia tee 21, EETallinn, Estonia R

                  Add to Reading List

                  Source URL: cs.ioc.ee

                  Language: English - Date: 2006-10-16 19:31:58
                    20

                    MSFPThe Recursion Scheme from the Cofree Recursive Comonad Tarmo Uustalu1 Institute of Cybernetics at Tallinn University of Technology,

                    Add to Reading List

                    Source URL: cs.ioc.ee

                    Language: English - Date: 2008-06-19 11:10:36
                      UPDATE