Ahman

Results: 47



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

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
    12Handling Fibred Algebraic Effects Danel Ahman INRIA Paris POPL 2018

    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
      13Update monads: Cointerpreting directed containers Danel Ahman, U. of Edinburgh Tarmo Uustalu, Inst. of Cybernetics, Tallinn TYPES 2013, 23–26 April 2013

      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
        14Computational effects, algebraic theories and normalization by evaluation Danel Ahman Hughes Hall

        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
          15Fibred Computational Effects Danel Ahman NI VER

          Fibred Computational Effects Danel Ahman NI VER

          Add to Reading List

          Source URL: danelahman.github.io

          - Date: 2018-03-25 20:15:13
            16Taking Updates Seriously∗ Danel Ahman Laboratory for Foundations of Computer Science, University of Edinburgh 10 Crichton Street, Edinburgh EH8 9LE, United Kingdom Tarmo Uustalu

            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
              17Recalling 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

              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
                18Update monads Danel Ahman, U. of Edinburgh Tarmo Uustalu, Inst. of Cybernetics, Tallinn EWSCS, 5 March 2014

                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
                  1965 Recalling a Witness Foundations and Applications of Monotonic State DANEL AHMAN, Inria, France CÉDRIC FOURNET, Microsoft Research, UK

                  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
                    20An algebraic perspective on behavioral specifications in effectful languages Danel Ahman LFCS, University of Edinburgh PhD work supervised by Gordon Plotkin and Alex Simpson

                    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