Ahman

Results: 47



#Item
1Utgåva: 9 Gällande: fr.o.mHandläggare: Stefan Åhman, Sweco Rail AB Utgivare: Lars Björkman, Luleå Hamn AB Trafiksäkerhetsinstruktion (TRI)

Utgåva: 9 Gällande: fr.o.mHandläggare: Stefan Åhman, Sweco Rail AB Utgivare: Lars Björkman, Luleå Hamn AB Trafiksäkerhetsinstruktion (TRI)

Add to Reading List

Source URL: www.portlulea.com

Language: Swedish - Date: 2018-01-09 04:32:31
    2Utgåva: 9 Gällande: fr.o.mHandläggare: Stefan Åhman, Sweco Rail AB Utgivare: Lars Björkman, Luleå Hamn AB Trafiksäkerhetsinstruktion (TRI)

    Utgåva: 9 Gällande: fr.o.mHandläggare: Stefan Åhman, Sweco Rail AB Utgivare: Lars Björkman, Luleå Hamn AB Trafiksäkerhetsinstruktion (TRI)

    Add to Reading List

    Source URL: portlulea.com

    Language: Swedish - Date: 2018-01-09 04:32:31
      3A fibrational view on computational effects (dependent types + computational effects) Danel Ahman Prosecco Team, Inria Paris

      A fibrational view on computational effects (dependent types + computational effects) Danel Ahman Prosecco Team, Inria Paris

      Add to Reading List

      Source URL: danelahman.github.io

      - Date: 2018-03-25 20:15:13
        4Leveraging monotonic state in F* Danel Ahman @ INRIA Paris joint work with C˘at˘alin Hrit¸cu and Kenji Maillard @ INRIA Paris C´edric Fournet, Aseem Rastogi, and Nikhil Swamy @ MSR

        Leveraging monotonic state in F* Danel Ahman @ INRIA Paris joint work with 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
          5{ Refinement Types | Algebraic Effects } Danel Ahman LFCS, University of Edinburgh HOPE Workshop, 28 September 2013

          { Refinement Types | Algebraic Effects } Danel Ahman LFCS, University of Edinburgh HOPE Workshop, 28 September 2013

          Add to Reading List

          Source URL: danelahman.github.io

          - Date: 2018-03-25 20:15:13
            6Refinement Types for Algebraic Effects Danel Ahman

            Refinement Types for Algebraic Effects Danel Ahman

            Add to Reading List

            Source URL: danelahman.github.io

            - Date: 2018-03-25 20:15:13
              7Recalling a Witness Foundations and Applications of Monotonic State Danel Ahman Prosecco Team at Inria Paris

              Recalling a Witness Foundations and Applications of Monotonic State Danel Ahman Prosecco Team at Inria Paris

              Add to Reading List

              Source URL: danelahman.github.io

              - Date: 2018-03-25 20:15:13
                8Embracing monotonicity in Danel Ahman @ INRIA Paris based on a joint POPL 2018 paper with C˘at˘alin Hrit¸cu and Kenji Maillard @ INRIA Paris C´edric Fournet, Aseem Rastogi, and Nikhil Swamy @ MSR

                Embracing monotonicity in Danel Ahman @ INRIA Paris based on a joint POPL 2018 paper with 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
                  9Refinement Types and Algebraic Effects Danel Ahman LFCS, School of Informatics, University of Edinburgh 1.

                  Refinement Types and Algebraic Effects Danel Ahman LFCS, School of Informatics, University of Edinburgh 1.

                  Add to Reading List

                  Source URL: danelahman.github.io

                  - Date: 2018-03-25 20:15:13
                    10Refinement Types for Algebraic Effects Danel Ahman and Gordon D. Plotkin Laboratory for Foundations of Computer Science, University of Edinburgh We investigate an algebraic treatment of propositional refinement types for

                    Refinement Types for Algebraic Effects Danel Ahman and Gordon D. Plotkin Laboratory for Foundations of Computer Science, University of Edinburgh We investigate an algebraic treatment of propositional refinement types for

                    Add to Reading List

                    Source URL: danelahman.github.io

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