Treffer 1 - 20 von 59 für Suche 'ATKEY, ROBERT', Suchdauer: 0,90s Treffer weiter einschränken
  1. 1
    Parameterised notions of computation

    Parameterised notions of computation von ATKEY, ROBERT


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  2. 2
    Amortised Resource Analysis with Separation Logic

    Amortised Resource Analysis with Separation Logic von Atkey, Robert


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  3. 3
    Dijkstra monads for all

    Dijkstra monads for all von Maillard, Kenji, Ahman, Danel, Atkey, Robert, Martínez, Guido, Hriţcu, Cătălin, Rivas, Exequiel, Tanter, Éric


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  4. 4
    Polynomial Time and Dependent Types

    Polynomial Time and Dependent Types von Atkey, Robert


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  5. 5
    A Linear Algebra Approach to Linear Metatheory

    A Linear Algebra Approach to Linear Metatheory von Wood, James, Atkey, Robert


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  6. 6
    Refining Inductive Types

    Refining Inductive Types von Atkey, Robert, Johann, Patricia, Ghani, Neil


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  7. 7
    Observed Communication Semantics for Classical Processes

    Observed Communication Semantics for Classical Processes von Atkey, Robert


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  8. 8
    A type- and scope-safe universe of syntaxes with binding: their semantics and proofs

    A type- and scope-safe universe of syntaxes with binding: their semantics and proofs von ALLAIS, GUILLAUME, ATKEY, ROBERT, CHAPMAN, JAMES, MCBRIDE, CONOR, MCKINNA, JAMES


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  9. 9
    Interleaving data and effects

    Interleaving data and effects von ATKEY, ROBERT, JOHANN, PATRICIA


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  10. 10
    Effect handlers via generalised continuations

    Effect handlers via generalised continuations von HILLERSTRÖM, DANIEL, LINDLEY, SAM, ATKEY, ROBERT


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  11. 11
    Proceedings of the 7th Workshop on Mathematically Structured Functional Programming: Preface

    Proceedings of the 7th Workshop on Mathematically Structured Functional Programming: Preface von Atkey, Robert, Lindley, Sam


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  12. 12
    Relational Parametricity beyond Type Abstraction: Invited Presentation at the 5th Workshop on Mathematically Structured Functional Programming

    Relational Parametricity beyond Type Abstraction: Invited Presentation at the 5th Workshop on Mathematically Structured Functional Programming von Atkey, Robert


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  13. 13
    A type and scope safe universe of syntaxes with binding: their semantics and proofs

    A type and scope safe universe of syntaxes with binding: their semantics and proofs von Allais, Guillaume, Atkey, Robert, Chapman, James, McBride, Conor, McKinna, James


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  14. 14
    Polynomial Time and Dependent Types

    Polynomial Time and Dependent Types von Atkey, Robert

    Veröffentlicht in arXiv.org

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  15. 15
    Proceedings 6th Workshop on Mathematically Structured Functional Programming: Preface

    Proceedings 6th Workshop on Mathematically Structured Functional Programming: Preface von Atkey, Robert, Krishnaswami, Neelakantan


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  16. 16
    Neural Networks, Secure by Construction: An Exploration of Refinement Types

    Neural Networks, Secure by Construction: An Exploration of Refinement Types von Kokke, Wen, Komendantskaya, Ekaterina, Kienitz, Daniel, Atkey, Robert, Aspinall, David


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  17. 17
    Eilenberg-Moore monoids and backtracking monad transformers

    Eilenberg-Moore monoids and backtracking monad transformers von Piróg, Maciej


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  18. 18
    Amortised Resource Analysis with Separation Logic

    Amortised Resource Analysis with Separation Logic von Atkey, Robert


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  19. 19
    The Semantics of Parsing with Semantic Actions

    The Semantics of Parsing with Semantic Actions von Atkey, R.


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  20. 20
    A Semantic Proof of Generalised Cut Elimination for Deep Inference

    A Semantic Proof of Generalised Cut Elimination for Deep Inference von Atkey, Robert, Kokke, Wen

    Volltext bestellen
    Artikel

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: