Treffer 1 - 20 von 74 für Suche 'Voigtländer, Janis', Suchdauer: 0,91s Treffer weiter einschränken
  1. 1
    Mathematics of Program Construction: 12th International Conference, MPC 2015, Königswinter, Germany, June 29 – July 1, 2015. Proceedings

    Mathematics of Program Construction: 12th International Conference, MPC 2015, Königswinter, Germany, June 29 – July 1, 2015. Proceedings


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  2. 2
    A Generic Operational Metatheory for Algebraic Effects

    A Generic Operational Metatheory for Algebraic Effects von Johann, P, Simpson, A, Voigtländer, J


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  3. 3
    Enhancing semantic bidirectionalization via shape bidirectionalizer plug-ins

    Enhancing semantic bidirectionalization via shape bidirectionalizer plug-ins von VOIGTLÄNDER, JANIS, HU, ZHENJIANG, MATSUDA, KAZUTAKA, WANG, MENG


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  4. 4
    Automatically generating counterexamples to naive free theorems

    Automatically generating counterexamples to naive free theorems von Seidel, Daniel, Voigtländer, Janis

    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  5. 5
    Three Complementary Approaches to Bidirectional Programming

    Three Complementary Approaches to Bidirectional Programming von Foster, Nate, Matsuda, Kazutaka, Voigtländer, Janis


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  6. 6
    Describing Console I/O Behavior for Testing Student Submissions in Haskell

    Describing Console I/O Behavior for Testing Student Submissions in Haskell von Westphal, Oliver, Voigtländer, Janis


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  7. 7
    Improvements for Free

    Improvements for Free von Seidel, Daniel, Voigtländer, Janis


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  8. 8
    Free Theorems Simply, via Dinaturality

    Free Theorems Simply, via Dinaturality von Voigtländer, Janis


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  9. 9
    Using Circular Programs to Deforest in Accumulating Parameters

    Using Circular Programs to Deforest in Accumulating Parameters von Voigtländer, Janis


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  10. 10
    Notions of Bidirectional Computation and Entangled State Monads

    Notions of Bidirectional Computation and Entangled State Monads von Abou-Saleh, Faris, Cheney, James, Gibbons, Jeremy, McKinna, James, Stevens, Perdita


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  11. 11
    Proceedings 29th and 30th Workshops on (Constraint) Logic Programming and 24th International Workshop on Functional and (Constraint) Logic Programming: Preface

    Proceedings 29th and 30th Workshops on (Constraint) Logic Programming and 24th International Workshop on Functional and (Constraint) Logic Programming: Preface von Schwarz, Sibylle, Voigtländer, Janis


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  12. 12
    Implementing, and Keeping in Check, a DSL Used in E-Learning

    Implementing, and Keeping in Check, a DSL Used in E-Learning von Westphal, Oliver, Voigtländer, Janis


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  13. 13
    Bidirectionalization for free! (Pearl)

    Bidirectionalization for free! (Pearl) von Voigtländer, Janis

    Veröffentlicht in SIGPLAN notices

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  14. 14
    Mathematics of Program Construction: 12th International Conference, MPC 2015, Königswinter, Germany, June 29--July 1, 2015. Proceedings

    Mathematics of Program Construction: 12th International Conference, MPC 2015, Königswinter, Germany, June 29--July 1, 2015. Proceedings von Hinze, Ralf, Voigtlander, Janis

    Volltext
    Buch

    Zu den Favoriten
    Gespeichert in:
  15. 15
    Turing-Completeness Totally Free

    Turing-Completeness Totally Free von McBride, Conor


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  16. 16
    Formalizing semantic bidirectionalization and extensions with dependent types

    Formalizing semantic bidirectionalization and extensions with dependent types von Grohne, Helmut, Voigtländer, Janis


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  17. 17
    A Program Construction and Verification Tool for Separation Logic

    A Program Construction and Verification Tool for Separation Logic von Dongol, Brijesh, Gomes, Victor B. F., Struth, Georg


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  18. 18
    Fusion for Free: Efficient Algebraic Effect Handlers

    Fusion for Free: Efficient Algebraic Effect Handlers von Wu, Nicolas, Schrijvers, Tom


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  19. 19
    A family of syntactic logical relations for the semantics of Haskell-like languages: Structural Operational Semantics (SOS)

    A family of syntactic logical relations for the semantics of Haskell-like languages: Structural Operational Semantics (SOS) von JOHANN, Patricia, VOIGTLÄNDER, Janis

    Veröffentlicht in Information and computation

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  20. 20
    Free Theorems Simply, via Dinaturality

    Free Theorems Simply, via Dinaturality von Voigtländer, Janis

    Volltext bestellen
    Artikel

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: