Tarmo

Results: 95



#Item
1

Coalgebraic Update Lenses Danel Ahman1 and Tarmo Uustalu2 1 Laboratory for Foundations of Computer Science, University of Edinburgh, 10 Crichton Street, Edinburgh EH8 9LE, United Kingdom; 2

Add to Reading List

Source URL: danelahman.github.io

- Date: 2018-03-25 20:15:13
    2

    Update Monads: Cointerpreting Directed Containers∗ Danel Ahman1 and Tarmo Uustalu2 1 Laboratory for Foundations of Computer Science, University of Edinburgh

    Add to Reading List

    Source URL: danelahman.github.io

    - Date: 2018-03-25 20:15:13
      3

      When is a Container a Comonad? Danel Ahman1? , James Chapman2 , and Tarmo Uustalu2 1 Computer Laboratory, University of Cambridge, 15 J. J. Thomson Avenue, Cambridge CB3 0FD, United Kingdom,

      Add to Reading List

      Source URL: danelahman.github.io

      - Date: 2018-03-25 20:15:13
        4

        Update monads: Cointerpreting directed containers Danel Ahman, U. of Edinburgh Tarmo Uustalu, Inst. of Cybernetics, Tallinn TYPES 2013, 23–26 April 2013

        Add to Reading List

        Source URL: danelahman.github.io

        - Date: 2018-03-25 20:15:13
          5

          Taking Updates Seriously∗ Danel Ahman Laboratory for Foundations of Computer Science, University of Edinburgh 10 Crichton Street, Edinburgh EH8 9LE, United Kingdom Tarmo Uustalu

          Add to Reading List

          Source URL: danelahman.github.io

          - Date: 2018-03-25 20:15:13
            6

            Update monads Danel Ahman, U. of Edinburgh Tarmo Uustalu, Inst. of Cybernetics, Tallinn EWSCS, 5 March 2014

            Add to Reading List

            Source URL: danelahman.github.io

            - Date: 2018-03-25 20:15:13
              7

              EESTI RAADIOAMATÖÖRIDE AJALOO RAAMATU TOETAJAD Isik/Ettevõte Enn Parv, ES5EP Kalle Lotamõis, ES2FN Igor Päss, ES2IPA Tarmo Tanilsoo, ES5NHC

              Add to Reading List

              Source URL: www.erau.ee

              - Date: 2018-02-06 09:29:34
                8

                Distributive Laws of Directed Containers [Extended Abstract] Danel Ahman1 and Tarmo Uustalu2 1 Computer Laboratory, University of Cambridge, 15 J. J. Thomson Avenue, Cambridge CB3 0FD, United Kingdom,

                Add to Reading List

                Source URL: danelahman.github.io

                - Date: 2018-03-25 20:15:13
                  9

                  Update Monads: Cointerpreting Directed Containers Danel Ahman1 and Tarmo Uustalu2 1 Laboratory for Foundations of Computer Science, University of Edinburgh, 10 Crichton Street, Edinburgh EH8 9LE, United Kingdom; d.ahman@

                  Add to Reading List

                  Source URL: danelahman.github.io

                  - Date: 2018-03-25 20:15:13
                    10

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

                    Add to Reading List

                    Source URL: danelahman.github.io

                    - Date: 2018-03-25 20:15:13
                      UPDATE