IOC

Results: 2147



#Item
581

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
    582

    MFPSCoalgebraic update lenses Danel Ahman1 Laboratory for Foundations of Computer Science, University of Edinburgh, 10 Crichton Street, Edinburgh EH8 9LE, United Kingdom

    Add to Reading List

    Source URL: cs.ioc.ee

    Language: English - Date: 2014-10-20 18:47:44
      583

      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
        584

        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
          585

          Type Systems Equivalent to Data-Flow Analyses for Imperative Languages ? Peeter Laud a,∗ Tarmo Uustalu b Varmo Vene a,b a Dept. of Computer Science, University of Tartu, J. Liivi 2, EETartu,

          Add to Reading List

          Source URL: cs.ioc.ee

          Language: English - Date: 2006-05-25 15:57:38
            586

            ByteCodeType Systems for Optimizing Stack-based Code Ando Saabas and Tarmo Uustalu1 Institute of Cybernetics, Tallinn University of Technology,

            Add to Reading List

            Source URL: cs.ioc.ee

            Language: English - Date: 2007-02-08 05:26:12
              587

              Resumptions, Weak Bisimilarity and Big-Step Semantics for While with Interactive I/O: An Exercise in Mixed Induction-Coinduction Keiko Nakata and Tarmo Uustalu Institute of Cybernetics at Tallinn University of Technology

              Add to Reading List

              Source URL: cs.ioc.ee

              Language: English - Date: 2010-08-19 14:05:01
                588

                Journal of Universal Computer Science, vol. 11, no), submitted: , accepted: 9/6/05, appeared: © J.UCS Signals and Comonads Tarmo Uustalu (Institute of Cybernetics at Tallinn University

                Add to Reading List

                Source URL: cs.ioc.ee

                Language: English - Date: 2005-11-11 08:56:35
                  589

                  SOS 2005 Preliminary Version A Compositional Natural Semantics and Hoare Logic for Low-Level Languages Ando Saabas and Tarmo Uustalu 1,2 Institute of Cybernetics at Tallinn University of Technology

                  Add to Reading List

                  Source URL: cs.ioc.ee

                  Language: English - Date: 2005-09-22 14:37:02
                    590

                    Program and Proof Optimizations with Type Systems 1 Ando Saabas and Tarmo Uustalu ∗ Institute of Cybernetics at Tallinn University of Technology, Akadeemia tee 21, EETallinn, Estonia Received 17 March 2007; acce

                    Add to Reading List

                    Source URL: cs.ioc.ee

                    Language: English - Date: 2008-07-04 08:22:56
                      UPDATE