Treffer 1 - 20 von 325 für Suche 'Jacques, Garrigue', Suchdauer: 0,93s Treffer weiter einschränken
  1. 1
    A Library for Formalization of Linear Error-Correcting Codes

    A Library for Formalization of Linear Error-Correcting Codes von Affeldt, Reynald, Garrigue, Jacques, Saikawa, Takafumi

    Veröffentlicht in Journal of automated reasoning

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  2. 2
    Formalization of Error-Correcting Codes: From Hamming to Modern Coding Theory

    Formalization of Error-Correcting Codes: From Hamming to Modern Coding Theory von Affeldt, Reynald, Garrigue, Jacques


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  3. 3
    Programming Languages and Systems: 12th Asian Symposium, APLAS 2014, Singapore, Singapore, November 17-19, 2014, Proceedings

    Programming Languages and Systems: 12th Asian Symposium, APLAS 2014, Singapore, Singapore, November 17-19, 2014, Proceedings von Garrigue, Jacques

    Volltext
    Buch

    Zu den Favoriten
    Gespeichert in:
  4. 4
    GADTs and Exhaustiveness: Looking for the Impossible

    GADTs and Exhaustiveness: Looking for the Impossible von Garrigue, Jacques, Le Normand, Jacques


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  5. 5
    Formal Verification of the rank Algorithm for Succinct Data Structures

    Formal Verification of the rank Algorithm for Succinct Data Structures von Tanaka, Akira, Affeldt, Reynald, Garrigue, Jacques


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  6. 6
    Reasoning with Conditional Probabilities and Joint Distributions in Coq

    Reasoning with Conditional Probabilities and Joint Distributions in Coq von Reynald, AFFELDT, Jacques, GARRIGUE, Takafumi, SAIKAWA

    Veröffentlicht in Konpyuta Sofutowea

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  7. 7
    An intuitionistic set-theoretical model of fully dependent CC $^{\boldsymbol\omega}

    An intuitionistic set-theoretical model of fully dependent CC $^{\boldsymbol\omega} von Sato, Masahiro, Garrigue, Jacques


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  8. 8
    Compositional Entailment Checking for a Fragment of Separation Logic

    Compositional Entailment Checking for a Fragment of Separation Logic von Enea, Constantin, Lengál, Ondřej, Sighireanu, Mihaela, Vojnar, Tomáš


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  9. 9
    A certified implementation of ML with structural polymorphism and recursive types

    A certified implementation of ML with structural polymorphism and recursive types von GARRIGUE, JACQUES


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  10. 10
    Call-by-Value in a Basic Logic for Interaction

    Call-by-Value in a Basic Logic for Interaction von Schöpp, Ulrich


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  11. 11
    A Translation of Intersection and Union Types for the λμ-Calculus

    A Translation of Intersection and Union Types for the λμ-Calculus von Kikuchi, Kentaro, Sakurai, Takafumi


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  12. 12
    Automatic Memory Management Based on Program Transformation Using Ownership

    Automatic Memory Management Based on Program Transformation Using Ownership von Sonobe, Tatsuya, Suenaga, Kohei, Igarashi, Atsushi


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  13. 13
    A Formalized Proof of Strong Normalization for Guarded Recursive Types

    A Formalized Proof of Strong Normalization for Guarded Recursive Types von Abel, Andreas, Vezzosi, Andrea


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  14. 14
    Syntax-Directed Divide-and-Conquer Data-Flow Analysis

    Syntax-Directed Divide-and-Conquer Data-Flow Analysis von Sato, Shigeyuki, Morihata, Akimasa


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  15. 15
    A trustful monad for axiomatic reasoning with probability and nondeterminism

    A trustful monad for axiomatic reasoning with probability and nondeterminism von AFFELDT, REYNALD, GARRIGUE, JACQUES, NOWAK, DAVID, SAIKAWA, TAKAFUMI


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  16. 16
    Resource Analysis of Complex Programs with Cost Equations

    Resource Analysis of Complex Programs with Cost Equations von Flores-Montoya, Antonio, Hähnle, Reiner


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  17. 17
    Lightweight Linearly-typed Programming with Lenses and Monads

    Lightweight Linearly-typed Programming with Lenses and Monads von Imai, Keigo, Garrigue, Jacques


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  18. 18
    Model-Checking for Android Malware Detection

    Model-Checking for Android Malware Detection von Song, Fu, Touili, Tayssir


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  19. 19
    Programming Languages and Systems: 12th Asian Symposium, APLAS 2014, Singapore, Singapore, November 17-19, 2014, Proceedings

    Programming Languages and Systems: 12th Asian Symposium, APLAS 2014, Singapore, Singapore, November 17-19, 2014, Proceedings


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  20. 20
    Proceedings ML Family/OCaml Users and Developers workshops: Preface

    Proceedings ML Family/OCaml Users and Developers workshops: Preface von Kiselyov, Oleg, Garrigue, Jacques


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: