IOC

Results: 2147



#Item
591

LNCSThe Essence of Dataflow Programming

Add to Reading List

Source URL: cs.ioc.ee

Language: English - Date: 2005-11-16 04:43:43
    592

    LNCSA Proof Pearl with the Fan Theorem and Bar Induction

    Add to Reading List

    Source URL: cs.ioc.ee

    Language: English - Date: 2011-12-05 17:25:24
      593

      LNCSA Hoare Logic for the Coinductive Trace-Based Big-Step Semantics of While

      Add to Reading List

      Source URL: cs.ioc.ee

      Language: English - Date: 2010-03-18 07:33:37
        594

        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: cs.ioc.ee

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

          Categorical Views on Computations on Trees (Extended Abstract) Ichiro Hasuo1 , Bart Jacobs1 , and Tarmo Uustalu2 1 Institute of Computing and Information Sciences, Radboud University Nijmegen,

          Add to Reading List

          Source URL: cs.ioc.ee

          Language: English - Date: 2007-08-31 03:45:00
            596

            Logical Methods in Computer Science Vol. 10(3:, pp. 1–48 www.lmcs-online.org Submitted Published

            Add to Reading List

            Source URL: cs.ioc.ee

            Language: English - Date: 2014-09-03 03:59:13
              597

              Relative monads formalised THORSTEN ALTENKIRCH School of Computer Science, University of Nottingham JAMES CHAPMAN Institute of Cybernetics, Tallinn University of Technology and

              Add to Reading List

              Source URL: cs.ioc.ee

              Language: English - Date: 2014-07-18 07:06:08
                598

                LNCSThe Essence of Dataflow Programming

                Add to Reading List

                Source URL: cs.ioc.ee

                Language: English - Date: 2006-11-14 05:54:39
                  599

                  Eighteen Additional Events in Five Sports Proposed to the IOC by the Tokyo 2020 Olympic Games Organising Committee >>TOKYO 2020 JPN | ENG | FRA

                  Add to Reading List

                  Source URL: www.wkf.net

                  Language: English - Date: 2015-09-30 09:27:37
                    600

                    Technical Manual on the Organisation of the Election to the IOC Athletes Commission (November 2005)

                    Add to Reading List

                    Source URL: www.gamesmonitor.org.uk

                    Language: English - Date: 2010-03-25 11:54:08
                      UPDATE