Treffer 1 - 20 von 633 für Suche 'THIEMANN, PETER', Suchdauer: 1,23s Treffer weiter einschränken
  1. 1
    Relating Functional and Imperative Session Types

    Relating Functional and Imperative Session Types von Saffrich, Hannes, Thiemann, Peter


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  2. 2
    Asymmetrical Three-Level Inverter SiC-Based Topology for High Performance Shunt Active Power Filter

    Asymmetrical Three-Level Inverter SiC-Based Topology for High Performance Shunt Active Power Filter von Guzman Iturra, Rodrigo, Thiemann, Peter

    Veröffentlicht in Energies (Basel)

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  3. 3
    Weakest Precondition Reasoning for Expected Run--Times of Probabilistic Programs

    Weakest Precondition Reasoning for Expected Run--Times of Probabilistic Programs von Kaminski, Benjamin Lucien, Katoen, Joost-Pieter, Matheja, Christoph, Olmedo, Federico


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  4. 4
    Programming Languages and Systems: 25th European Symposium on Programming, ESOP 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings

    Programming Languages and Systems: 25th European Symposium on Programming, ESOP 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016,... von Thiemann, Peter

    Volltext
    Buch

    Zu den Favoriten
    Gespeichert in:
  5. 5
    Programming Languages and Systems: 25th European Symposium on Programming, ESOP 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2–8, 2016, Proceedings

    Programming Languages and Systems: 25th European Symposium on Programming, ESOP 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016,...


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  6. 6
    Partial Evaluation: Practice and Theory : DIKU 1998 International Summer School, Copenhagen, Denmark, June 29-July 10, 1998

    Partial Evaluation: Practice and Theory : DIKU 1998 International Summer School, Copenhagen, Denmark, June 29-July 10, 1998 von Evaluation, DIKU International Summer School on Partial, Hatcliff, John, Mogensen, Torben


    Volltext
    Buch

    Zu den Favoriten
    Gespeichert in:
  7. 7
    Intrinsically Typed Sessions with Callbacks (Functional Pearl)

    Intrinsically Typed Sessions with Callbacks (Functional Pearl) von Thiemann, Peter


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  8. 8
    Gradual session types

    Gradual session types von Igarashi, Atsushi, Thiemann, Peter, Vasconcelos, Vasco T., Wadler, Philip


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  9. 9
    Gradual session types

    Gradual session types von IGARASHI, ATSUSHI, THIEMANN, PETER, TSUDA, YUYA, VASCONCELOS, VASCO T., WADLER, PHILIP


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  10. 10
    Derivatives for Enhanced Regular Expressions

    Derivatives for Enhanced Regular Expressions von Thiemann, Peter


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  11. 11
    Derivatives and partial derivatives for regular shuffle expressions

    Derivatives and partial derivatives for regular shuffle expressions von Sulzmann, Martin, Thiemann, Peter


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  12. 12
    Functional and Logic Programming: 11th International Symposium, FLOPS 2012, Kobe, Japan, May 23-25, 2012, Proceedings

    Functional and Logic Programming: 11th International Symposium, FLOPS 2012, Kobe, Japan, May 23-25, 2012, Proceedings von Schrijvers, Tom, Thiemann, Peter

    Volltext
    Buch

    Zu den Favoriten
    Gespeichert in:
  13. 13
    Practical Optional Types for Clojure

    Practical Optional Types for Clojure von Bonnaire-Sergeant, Ambrose, Davies, Rowan, Tobin-Hochstadt, Sam


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  14. 14
    Probabilistic Functions and Cryptographic Oracles in Higher Order Logic

    Probabilistic Functions and Cryptographic Oracles in Higher Order Logic von Lochbihler, Andreas


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  15. 15
    Polymorphic lambda calculus with context-free session types

    Polymorphic lambda calculus with context-free session types von Almeida, Bernardo, Mordido, Andreia, Thiemann, Peter, Vasconcelos, Vasco T.

    Veröffentlicht in Information and computation

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  16. 16
    Label-dependent session types

    Label-dependent session types von Thiemann, Peter, Vasconcelos, Vasco T.


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  17. 17
    Probabilistic NetKAT

    Probabilistic NetKAT von Foster, Nate, Kozen, Dexter, Mamouras, Konstantinos, Reitblatt, Mark, Silva, Alexandra


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  18. 18
    Needle & Knot: Binder Boilerplate Tied Up

    Needle & Knot: Binder Boilerplate Tied Up von Keuchel, Steven, Weirich, Stephanie, Schrijvers, Tom


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  19. 19
    Session Types with Gradual Typing

    Session Types with Gradual Typing von Thiemann, Peter


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  20. 20
    Functional Big-Step Semantics

    Functional Big-Step Semantics von Owens, Scott, Myreen, Magnus O., Kumar, Ramana, Tan, Yong Kiam


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: