Ahman

Results: 47



#Item
11

Handling Fibred Computational Effects Effect Handlers in a Dependently Typed Setting Danel Ahman Prosecco Team at Inria Paris

Add to Reading List

Source URL: danelahman.github.io

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

    Handling Fibred Algebraic Effects Danel Ahman INRIA Paris POPL 2018

    Add to Reading List

    Source URL: danelahman.github.io

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

      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
        14

        Computational effects, algebraic theories and normalization by evaluation Danel Ahman Hughes Hall

        Add to Reading List

        Source URL: danelahman.github.io

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

          Fibred Computational Effects Danel Ahman NI VER

          Add to Reading List

          Source URL: danelahman.github.io

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

            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
              17

              Recalling a Witness Foundations and Applications of Monotonic State Danel Ahman @ INRIA Paris C˘at˘alin Hrit¸cu and Kenji Maillard @ INRIA Paris C´edric Fournet, Aseem Rastogi, and Nikhil Swamy @ MSR

              Add to Reading List

              Source URL: danelahman.github.io

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

                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
                  19

                  65 Recalling a Witness Foundations and Applications of Monotonic State DANEL AHMAN, Inria, France CÉDRIC FOURNET, Microsoft Research, UK

                  Add to Reading List

                  Source URL: danelahman.github.io

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

                    An algebraic perspective on behavioral specifications in effectful languages Danel Ahman LFCS, University of Edinburgh PhD work supervised by Gordon Plotkin and Alex Simpson

                    Add to Reading List

                    Source URL: danelahman.github.io

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